Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FireSprinklerSystem(sprinkler system) |
| appearance as argument number 1 |
|
| (subclass FireSprinklerSystem CollectionOfObjects) | Mid-level-ontology.kif 27755-27755 | Sprinkler system is a subclass of collection |
| (documentation FireSprinklerSystem EnglishLanguage "FireSprinklerSystem is a CollectionOfObjects of Devices that allow water to be released when a Fire is detected") | Mid-level-ontology.kif 27756-27757 | Sprinkler system is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FireSprinklerSystem "sprinkler system") | Mid-level-ontology.kif 27758-27758 |
| antecedent |
|
|
| (=> (instance ?X FireSprinklerSystem) (exists (?DETECT ?SPRINKLER) (and (instance ?DETECT SmokeDetector) (instance ?SPRINKLER WaterSprinkler) (member ?DETECT ?X) (member ?SPRINKLER ?X)))) |
Mid-level-ontology.kif 27760-27767 | If X is an instance of sprinkler system, then there exist Y, Z such that Y is an instance of smoke detector, Z is an instance of water sprinkler, Y is a member of X, and Z is a member of X |
| (=> (instance ?X FireSprinklerSystem) (exists (?FIRE ?DISCOVER ?WM) (and (instance ?DISCOVER Discovering) (instance ?FIRE Fire) (instrument ?DISCOVER ?X) (patient ?DISCOVER ?FIRE) (instance ?WM WaterMotion) (origin ?WM ?X) (causes ?DISCOVER ?WM)))) |
Mid-level-ontology.kif 27769-27779 | If X is an instance of sprinkler system, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of discovering (3) Y is an instance of fire (4) X is an instrument for Z (5) Y is a patient of Z (6) W is an instance of water motion (7) W originates at X (8) Z causes W |
|