Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Device
Device(device)ATM, Abbe_condenser, Abney_level, Allen_wrench, Amsler_grid, Aqua-Lung, Bailey_bridge, Beckman_thermometer, Bermuda_rig, Bermudan_rig, Bermudian_rig, Bessemer_converter, Blackwall_hitch, CD_burner, Cassegrainian_telescope, Coffey_still, Cottrell_precipitator, Crock_Pot, Crookes_radiometer, Crookes_tube, DSL, Davy_lamp, Dayton_ax, Dayton_axe, Dewar, Dewar_flask, Dumpy_level, Dutch_hoe, EDS, ETD, Elastoplast, FAE, Ferris_wheel, Fresnel_lens, GPS, G_suit, Galilean_telescope, Geiger-Muller_counter, Geiger-Muller_tube, Geiger_counter, Geiger_tube, Global_Positioning_System, Gregorian_telescope, Herschelian_telescope, Hollerith_card, I.E.D., IED, IOL, Indian_club, Jacob's_ladder...

appearance as argument number 1
-------------------------


(subclass Device Artifact) Merge.kif 16137-16137 Device is a subclass of artifact
(documentation Device EnglishLanguage "A Device is an Artifact whose purpose is to serve as an instrument in a specific subclass of Process.") Merge.kif 16138-16139 Device is a subclass of artifact

appearance as argument number 2
-------------------------


(subclass MusicalInstrument Device) Merge.kif 16155-16155 Musical instrument is a subclass of device
(subclass TransportationDevice Device) Merge.kif 16163-16163 Transportation device is a subclass of device
(subclass MeasuringDevice Device) Merge.kif 16198-16198 Measuring device is a subclass of device
(subclass AttachingDevice Device) Merge.kif 16210-16210 Attaching device is a subclass of device
(subclass Weapon Device) Merge.kif 16221-16221 Weapon is a subclass of device
(subclass Machine Device) Merge.kif 16239-16239 Machine is a subclass of device
(subclass EngineeringComponent Device) Merge.kif 16254-16254 Engineering component is a subclass of device
(subclass Transducer Device) Mid-level-ontology.kif 2203-2203 Transducer is a subclass of device
(subclass Aerator Device) Mid-level-ontology.kif 2363-2363 Aerator is a subclass of device
(subclass BrushOrComb Device) Mid-level-ontology.kif 2401-2401 Brush or comb is a subclass of device
(subclass MatchDevice Device) Mid-level-ontology.kif 2415-2415 Match device is a subclass of device
(subclass WritingDevice Device) Mid-level-ontology.kif 2478-2478 Writing device is a subclass of device
(subclass SmokingDevice Device) Mid-level-ontology.kif 2490-2490 Smoking device is a subclass of device
(subclass Toilet Device) Mid-level-ontology.kif 2679-2679 Toilet is a subclass of device
(subclass Tableware Device) Mid-level-ontology.kif 2729-2729 Tableware is a subclass of device
(subclass Compass Device) Mid-level-ontology.kif 2741-2741 Compass is a subclass of device
(subclass MajorAppliance Device) Mid-level-ontology.kif 2752-2752 Major appliance is a subclass of device
(subclass CoolingDevice Device) Mid-level-ontology.kif 2763-2763 Cooling device is a subclass of device
(subclass HeatingDevice Device) Mid-level-ontology.kif 2786-2786 Heating device is a subclass of device
(subclass RecreationOrExerciseDevice Device) Mid-level-ontology.kif 2855-2855 Recreation or exercise device is a subclass of device
(subclass Toy Device) Mid-level-ontology.kif 2866-2866 Toy is a subclass of device
(subclass WalkingCane Device) Mid-level-ontology.kif 2919-2919 Walking cane is a subclass of device
(subclass WashingDevice Device) Mid-level-ontology.kif 2931-2931 Washing device is a subclass of device
(subclass MaterialHandlingEquipment Device) Mid-level-ontology.kif 2943-2943 Material handling equipment is a subclass of device
(subclass OpticalDevice Device) Mid-level-ontology.kif 2974-2974 Optical device is a subclass of device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain effectiveRange 1 Device) Mid-level-ontology.kif 1622-1622 The number 1 argument of effective range is an instance of device
(domain powerComponent 1 Device) Mid-level-ontology.kif 2215-2215 The number 1 argument of power component is an instance of device
(domainSubclass OperatingFn 1 Device) Mid-level-ontology.kif 19794-19794 The number 1 argument of operating is a subclass of device
(domainSubclass equipmentCount 2 Device) Mid-level-ontology.kif 26709-26709 The number 2 argument of equipment count is a subclass of device
(domainSubclass equipmentType 2 Device) Mid-level-ontology.kif 26724-26724 The number 2 argument of equipment type is a subclass of device
(domainSubclass MTBFFn 1 Device) Mid-level-ontology.kif 34632-34632 The number 1 argument of mean time between failures is a subclass of device
(domain MTBFInstanceFn 1 Device) Mid-level-ontology.kif 34655-34655 The number 1 argument of mean time between failures is an instance of device
(domain DeviceUpTimeDurationListFn 1 Device) Mid-level-ontology.kif 34702-34702 The number 1 argument of device up duration list is an instance of device
(domain DevicePlannedDownTimeDurationListFn 1 Device) Mid-level-ontology.kif 34722-34722 The number 1 argument of device up duration list is an instance of device
(domain DeviceFailTimeDurationListFn 1 Device) Mid-level-ontology.kif 34741-34741 The number 1 argument of device up duration list is an instance of device
(domain deviceUpTime 1 Device) Mid-level-ontology.kif 34761-34761 The number 1 argument of device up time is an instance of device
(domain deviceDownTime 1 Device) Mid-level-ontology.kif 34785-34785 The number 1 argument of device down time is an instance of device
(domain devicePlannedDownTime 1 Device) Mid-level-ontology.kif 34811-34811 The number 1 argument of device planned down time is an instance of device
(domain deviceFailTime 1 Device) Mid-level-ontology.kif 34828-34828 The number 1 argument of device fail time is an instance of device
(domainSubclass MTTFFn 1 Device) Mid-level-ontology.kif 34845-34845 The number 1 argument of mean time to failures is a subclass of device
(domain TimeToFailureFn 1 Device) Mid-level-ontology.kif 34869-34869 The number 1 argument of time to failure is an instance of device
(domainSubclass MTTRepairFn 1 Device) Mid-level-ontology.kif 34895-34895 The number 1 argument of mean time to repair is a subclass of device
(domain MTTRepairInstanceFn 1 Device) Mid-level-ontology.kif 34921-34921 The number 1 argument of time to repair is an instance of device
(domain TimeToRecoveryFn 1 Device) Mid-level-ontology.kif 34951-34951 The number 1 argument of time to recovery is an instance of device
(domain TimeToRecoveryDurationListFn 1 Device) Mid-level-ontology.kif 34975-34975 The number 1 argument of device time to recovery list is an instance of device
(domainSubclass MTTRecoveryFn 1 Device) Mid-level-ontology.kif 34993-34993 The number 1 argument of mean time to recovery is a subclass of device
(domain MTTRecoveryInstanceFn 1 Device) Mid-level-ontology.kif 35020-35020 The number 1 argument of time to repair is an instance of device
(domain maxDeviceOperatingTemp 1 Device) ComputingBrands.kif 3526-3526 The number 1 argument of maximum device operating temperature is an instance of device
(domain maxDeviceStorageTemp 1 Device) ComputingBrands.kif 3554-3554 The number 1 argument of maximum device storage temperature is an instance of device
(domain minDeviceOperatingTemp 1 Device) ComputingBrands.kif 3579-3579 The number 1 argument of minimum device operating temperature is an instance of device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (capability ?PROCESS ?ROLE ?OBJ)
        (instance ?OBJ Device)
        (not
            (attribute ?OBJ DeviceDamaged)))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PROCESS)
                (?ROLE ?P ?OBJ))) Possibility))		 Merge.kif 3955-3965 If X is capable of doing Y as a Z, X is an instance of device, and device damaged is not an attribute of X, then the statement there exists W such that W is an instance of Y, Z W, and X has the modal force of possibility
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
        (capability ?PROC instrument ?DEVICE)))		 Merge.kif 16141-16144 If X is an instance of device, then there exists Y such that X is capable of doing Y as a instrument
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
        (hasPurpose ?DEVICE
            (exists (?INST)
                (and
                    (instance ?INST ?PROC)
                    (instrument ?INST ?DEVICE))))))		 Merge.kif 16146-16153 If X is an instance of device, then there exists Y such that X has the purpose there exists Z such that Z is an instance of Y and X is an instrument for Z
(=>
    (and
        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))		 Mid-level-ontology.kif 2223-2227 If X is a power component of Y and X is an instance of device, then X is an instance of self powered device
(=>
    (and
        (instance ?DAM Damaging)
        (instance ?OBJ Device)
        (patient ?DAM ?OBJ))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?DAM))
        (attribute ?OBJ DeviceDamaged)))		 Mid-level-ontology.kif 32750-32758 If X is an instance of damaging, Y is an instance of device, and Y is a patient of X, then device damaged is an attribute of Y holds during immediately after the time of existence of X
(=>
    (and
        (instance ?D Device)
        (deviceUpTime ?D ?UP)
        (duration ?UP
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceUpTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34706-34714 If X is an instance of device, Device X is in operation during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is
(=>
    (and
        (instance ?D Device)
        (devicePlannedDownTime ?D ?PLAN)
        (duration ?PLAN
            (MeasureFn ?X HourDuration))
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DevicePlannedDownTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34725-34733 If X is an instance of device, device X is scheduled to be in DeviceOff during TimeInterval Y, duration of Y is Z hour duration(s), and Z hour duration(s) is a member of W, then equal W and The List of deviceUpTime duration for X is
(=>
    (and
        (instance ?D Device)
        (deviceFailTime ?D ?FAIL)
        (duration ?FAIL
            (MeasureFn ?X HourDuration))
        (attribute ?D Repairable)
        (inList
            (MeasureFn ?X HourDuration) ?L))
    (equal ?L
        (DeviceFailTimeDurationListFn ?D)))		 Mid-level-ontology.kif 34745-34754 If X is an instance of device, device X is in a failure state during TimeInterval Y, duration of Y is Z hour duration(s), repairable is an attribute of X, and Z hour duration(s) is a member of W, then equal W and The List of deviceFailTime duration for X is
(=>
    (and
        (instance ?D Device)
        (inList
            (TimeToRecoveryFn ?D) ?L))
    (equal ?L
        (TimeToRecoveryDurationListFn ?D)))		 Mid-level-ontology.kif 34979-34985 If X is an instance of device and The time to recovery of X is HourDuration is a member of Y, then equal Y and The list of time to recovery duration for X is
(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))		 Hotel.kif 1376-1382 If X is an instance of internet access point and Y is an instance of device, then Y is a component of internet holds during the time of existence of Y is connected to X
(=>
    (and
        (instance ?X BabyMonitoringSystem)
        (instance ?RX RadioReceiver)
        (instance ?TX Device)
        (engineeringSubcomponent ?TX ?X)
        (engineeringSubcomponent ?RX ?X))
    (and
        (defaultMinimumHeight ?RX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?RX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?RX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?RX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?RX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?RX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?RX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?RX
            (MeasureFn 24 OunceMass))
        (defaultMinimumHeight ?TX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?TX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?TX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?TX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?TX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?TX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?TX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?TX
            (MeasureFn 24 OunceMass))))		 DimensioningAmenities.kif 480-503 If X is an instance of baby monitor, Y is an instance of radio receiver, Z is an instance of device, Z is a component of X, and Y is a component of X, then All of the following hold: (1) the minimum expected height of Y is 0.8 inch(s) (2) the maximum expected height of Y is 2.5 inch(s) (3) the minimum expected width of Y is 2 inch(s) (4) the maximum expected width of Y is 4 inch(s) (5) the minimum expected length of Y is 3 inch(s) (6) the maximum expected length of Y is 6 inch(s) (7) the minimum expected value of Y is 8 Ounce(s) (8) the maximum expected value of Y is 24 Ounce(s) (9) the minimum expected height of Z is 0.8 inch(s) (10) the maximum expected height of Z is 2.5 inch(s) (11) the minimum expected width of Z is 2 inch(s) (12) the maximum expected width of Z is 4 inch(s) (13) the minimum expected length of Z is 3 inch(s) (14) the maximum expected length of Z is 6 inch(s) (15) the minimum expected value of Z is 8 Ounce(s) (16) the maximum expected value of Z is 24 Ounce(s)

consequent
-------------------------


(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))		 Merge.kif 16264-16269 If X is an instance of engineering component, then there exists Y such that Y is an instance of device and X is a component of Y
(=>
    (and
        (instance ?P TurningOffDevice)
        (patient ?P ?D))
    (instance ?D Device))		 Mid-level-ontology.kif 1079-1083 If X is an instance of turning off device and Y is a patient of X, then Y is an instance of device
(=>
    (and
        (instance ?P TurningOnDevice)
        (patient ?P ?D))
    (instance ?D Device))		 Mid-level-ontology.kif 1103-1107 If X is an instance of turning on device and Y is a patient of X, then Y is an instance of device
(=>
    (and
        (attribute ?DEVICE ?ATTRIBUTE)
        (instance ?ATTRIBUTE DeviceAttribute))
    (instance ?DEVICE Device))		 Mid-level-ontology.kif 2314-2318 If X is an attribute of Y and X is an instance of device attribute, then Y is an instance of device
(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))		 Mid-level-ontology.kif 3235-3240 If X is an instance of self powered device, then there exists Y such that Y is an instance of device and X is a power component of Y
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE))
    (instance ?DEVICE Device))		 Mid-level-ontology.kif 19801-19805 If X is an instance of installing and Y is a patient of X, then Y is an instance of device
(=>
    (instance ?SCUBA ScubaDiving)
    (exists (?WATER ?DEVICE ?BREATH)
        (and
            (instance ?WATER WaterArea)
            (orientation ?SCUBA ?WATER Below)
            (instance ?DEVICE Device)
            (instance ?BREATH Breathing)
            (instrument ?BREATH ?DEVICE)
            (subProcess ?BREATH ?SCUBA))))		 Mid-level-ontology.kif 29565-29574 If X is an instance of scuba diving, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of water area (3) X is below to Y (4) Z is an instance of device (5) W is an instance of breathing (6) Z is an instrument for W (7) W is a subprocess of X
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2931-2949 If X is an instance of governor, Y is an instance of engine, X is connected to Y, and the maximum speed allowed by Y is Z miles per hour(s), then X has the purpose there don't exist W, V and U such that V is an instance of device and V is a part of Y and W is an instance of rotating and the measure of V is U miles per hour(s) and U is greater than Z holds during the time of existence of W
(=>
    (instance ?X BabyMonitoringSystem)
    (exists (?TX ?RX)
        (and
            (instance ?RX RadioReceiver)
            (instance ?TX Device)
            (engineeringSubcomponent ?RX ?X)
            (engineeringSubcomponent ?TX ?X)
            (hasPurpose ?X
                (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
                    (and
                        (instance ?BABY HumanBaby)
                        (instance ?CARER Human)
                        (located ?BABY ?LOC1)
                        (located ?CARER ?LOC2)
                        (not
                            (equal ?LOC1 ?LOC2))
                        (instance ?PROC Maintaining)
                        (patient ?PROC ?BABY)
                        (agent ?PROC ?CARER)
                        (located ?TX ?LOC1)
                        (located ?RX ?LOC2)
                        (instance ?SOUND RadiatingSound)
                        (eventLocated ?SOUND ?LOC1)
                        (instance ?RADIO RadioEmission)
                        (patient ?RADIO ?SOUND)
                        (destination ?RADIO ?RX)
                        (agent ?RADIO ?TX)))))))		 Communications.kif 263-289 If X is an instance of baby monitor, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of radio receiver (3) Y is an instance of device (4) Z is a component of X (5) Y is a component of X (6) X has the purpose there exist W, V,, , U,, , T,, , S,, , R (7) Q such that W is an instance of human baby (8) V is an instance of human (9) W is located at T (10) V is located at S (11) equal T (12) S (13) R is an instance of maintaining (14) W is a patient of R (15) V is an agent of R (16) Y is located at T (17) Z is located at S (18) U is an instance of radiating sound (19) U is located at T (20) Q is an instance of radio emission (21) U is a patient of Q (22) Q ends up at Z (23) Y is an agent of Q
(=>
    (instance ?S RecordingStudio)
    (exists (?D)
        (and
            (instance ?D Device)
            (hasPurpose ?D
                (exists (?R ?P)
                    (and
                        (instance ?R Recording)
                        (instrument ?P ?D)
                        (result ?P ?R))))
            (located ?D ?S))))		 Music.kif 36-47 If X is an instance of recording studio, then there exists Y such that Y is an instance of device, Y has the purpose there exist Z, W such that Z is an instance of recording, Y is an instrument for W, Z is a result of W, and Y is located at X
(=>
    (instance ?S AirportStagingArea)
    (hasPurpose ?S
        (exists (?B ?C ?D ?T)
            (and
                (instance ?B Boarding)
                (instance ?C Collection)
                (instrument ?B ?C)
                (member ?D ?C)
                (instance ?D Device)
                (locatedAtTime ?C ?T ?S)
                (during ?T
                    (WhenFn ?B))))))		 Transportation.kif 1318-1329 If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of boarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y
(=>
    (instance ?S AirportStagingArea)
    (hasPurpose ?S
        (exists (?DB ?C ?D ?T)
            (and
                (instance ?DB Deboarding)
                (instance ?C Collection)
                (instrument ?DB ?C)
                (member ?D ?C)
                (instance ?D Device)
                (locatedAtTime ?C ?T ?S)
                (during ?T
                    (WhenFn ?DB))))))		 Transportation.kif 1331-1342 If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of deboarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y
(=>
    (instance ?M SurfaceWindSpeedMeasuring)
    (exists (?PLACE ?TOOL)
        (and
            (instance ?PLACE GeographicArea)
            (instance ?TOOL Device)
            (eventLocated ?M ?PLACE)
            (instrument ?M ?TOOL)
            (holdsDuring
                (WhenFn ?M)
                (elevation ?TOOL
                    (MeasureFn 10.0 Meter))))))		 Weather.kif 3056-3066 If X is an instance of surface wind speed measuring, then there exist Y and Z such that Y is an instance of geographic area and Z is an instance of device and X is located at Y and Z is an instrument for X and 10.0 meter(s) is an elevation of Z holds during the time of existence of X
(=>
    (instance ?AMR AutonomousMobileRobot)
    (hasPurpose ?AMR
        (exists (?T)
            (and
                (instance ?T Translocation)
                (agent ?T ?AMR)
                (patient ?T ?AMR)
                (instrument ?T ?AMR)
                (experiencer ?T ?AMR)
                (not
                    (exists (?G ?A)
                        (and
                            (instance ?G Guiding)
                            (patient ?G ?AMR)
                            (agent ?G ?A)
                            (or
                                (instance ?A Human)
                                (instance ?A Device)))))))))		 engineering.kif 923-941 If X is an instance of autonomous mobile robot, then All of the following hold: (1) X has the purpose there exists Y such that Y is an instance of translocation (2) X is an agent of Y (3) X is a patient of Y (4) X is an instrument for Y (5) X experiences Y (6) there don't exist Z (7) W such that Z is an instance of guiding (8) X is a patient of Z (9) W is an agent of Z (10) W is an instance of human or W is an instance of device
(=>
    (instance ?X RemoteControl)
    (hasPurpose ?X
        (exists (?SIGNAL ?DEVICE)
            (and
                (instance ?SIGNAL ElectronicSignalling)
                (agent ?SIGNAL ?X)
                (destination ?SIGNAL ?DEVICE)
                (instance ?DEVICE Device)
                (not
                    (part ?X ?DEVICE))))))		 engineering.kif 1391-1401 If X is an instance of remote control, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, X is an agent of Y, Y ends up at Z, Z is an instance of device, and X is not a part of Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners