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 Brake Device) Cars.kif 538-538 Brake is a subclass of device
(subclass WearingFrictionSurface Device) Cars.kif 582-582 Wearing friction surface is a subclass of device
(subclass BrakeRotor Device) Cars.kif 660-660 Brake rotor is a subclass of device
(subclass BrakeDrum Device) Cars.kif 666-666 Brake drum is a subclass of device
(subclass BrakeCaliper Device) Cars.kif 672-672 Brake caliper is a subclass of device
(subclass BrakePedal Device) Cars.kif 677-677 Brake pedal is a subclass of device
(subclass Damper Device) Cars.kif 770-770 Damper is a subclass of device
(subclass FuelAtomizer Device) Cars.kif 1105-1105 Fuel atomizer is a subclass of device
(subclass EngineChoke Device) Cars.kif 1309-1309 Engine choke is a subclass of device
(subclass BallBearing Device) Cars.kif 1404-1404 Ball bearing is a subclass of device
(subclass Cam Device) Cars.kif 1641-1641 Cam is a subclass of device
(subclass CombustionChamber Device) Cars.kif 1702-1702 Combustion chamber is a subclass of device
(subclass Clutch Device) Cars.kif 1792-1792 Clutch is a subclass of device
(subclass EngineConnectingRod Device) Cars.kif 1951-1951 Engine connecting rod is a subclass of device
(subclass Distributor Device) Cars.kif 2257-2257 Distributor is a subclass of device
(subclass Drivebelt Device) Cars.kif 2300-2300 Drivebelt is a subclass of device
(subclass GasPedal Device) Cars.kif 2531-2531 Gas pedal is a subclass of device
(subclass AutomobileMuffler Device) Cars.kif 2614-2614 Muffler is a subclass of device
(subclass ExhaustManifold Device) Cars.kif 2620-2620 Exhaust manifold is a subclass of device
(subclass Gasket Device) Cars.kif 2833-2833 Gasket is a subclass of device
(subclass SpeedGovernor Device) Cars.kif 2905-2905 Governor is a subclass of device
(subclass GreaseFitting Device) Cars.kif 3082-3082 Grease fitting is a subclass of device
(subclass GreaseGun Device) Cars.kif 3106-3106 Grease gun is a subclass of device
(subclass JumperCable Device) Cars.kif 3287-3287 Jumper cable is a subclass of device
(subclass SafetyDevice Device) Cars.kif 3428-3428 Safety 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 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
(domain minDeviceStorageTemp 1 Device) ComputingBrands.kif 3604-3604 The number 1 argument of minimum device storage temperature is an instance of device
(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 19771-19771 The number 1 argument of operating is a subclass of device
(domainSubclass equipmentCount 2 Device) Mid-level-ontology.kif 26691-26691 The number 2 argument of equipment count is a subclass of device
(domainSubclass equipmentType 2 Device) Mid-level-ontology.kif 26706-26706 The number 2 argument of equipment type is a subclass of device
(domainSubclass MTBFFn 1 Device) Mid-level-ontology.kif 34597-34597 The number 1 argument of mean time between failures is a subclass of device
(domain MTBFInstanceFn 1 Device) Mid-level-ontology.kif 34620-34620 The number 1 argument of mean time between failures is an instance of device
(domain DeviceUpTimeDurationListFn 1 Device) Mid-level-ontology.kif 34667-34667 The number 1 argument of device up duration list is an instance of device
(domain DevicePlannedDownTimeDurationListFn 1 Device) Mid-level-ontology.kif 34687-34687 The number 1 argument of device up duration list is an instance of device
(domain DeviceFailTimeDurationListFn 1 Device) Mid-level-ontology.kif 34706-34706 The number 1 argument of device up duration list is an instance of device
(domain deviceUpTime 1 Device) Mid-level-ontology.kif 34726-34726 The number 1 argument of device up time is an instance of device
(domain deviceDownTime 1 Device) Mid-level-ontology.kif 34750-34750 The number 1 argument of device down time is an instance of device
(domain devicePlannedDownTime 1 Device) Mid-level-ontology.kif 34776-34776 The number 1 argument of device planned down time is an instance of device
(domain deviceFailTime 1 Device) Mid-level-ontology.kif 34793-34793 The number 1 argument of device fail time is an instance of device
(domainSubclass MTTFFn 1 Device) Mid-level-ontology.kif 34810-34810 The number 1 argument of mean time to failures is a subclass of device
(domain TimeToFailureFn 1 Device) Mid-level-ontology.kif 34834-34834 The number 1 argument of time to failure is an instance of device
(domainSubclass MTTRepairFn 1 Device) Mid-level-ontology.kif 34860-34860 The number 1 argument of mean time to repair is a subclass of device
(domain MTTRepairInstanceFn 1 Device) Mid-level-ontology.kif 34886-34886 The number 1 argument of time to repair is an instance of device
(domain TimeToRecoveryFn 1 Device) Mid-level-ontology.kif 34916-34916 The number 1 argument of time to recovery is an instance of device
(domain TimeToRecoveryDurationListFn 1 Device) Mid-level-ontology.kif 34940-34940 The number 1 argument of device time to recovery list is an instance of device
(domainSubclass MTTRecoveryFn 1 Device) Mid-level-ontology.kif 34958-34958 The number 1 argument of mean time to recovery is a subclass of device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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
        (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 32717-32725 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 34671-34679 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 34690-34698 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 34710-34719 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 34944-34950 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 ?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
-------------------------


(=>
    (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 ?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 19778-19782 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 29547-29556 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
(=>
    (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 966-984 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 1434-1444 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