Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Device Artifact) | Merge.kif 16283-16283 | 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 16284-16285 | Device is a subclass of artifact |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE)))) |
Merge.kif 16423-16428 | 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 1073-1077 | 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 1097-1101 | 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 2408-2412 | 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 3355-3360 | 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 19825-19829 | 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 29496-29505 | 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 2768-2786 | 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 244-270 | 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 CollectionOfObjects) (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 CollectionOfObjects) (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 3025-3035 | 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 1053-1071 | 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 1545-1555 | 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 |
|