|
|
   FireSprinklerSystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FireSprinklerSystem EnglishLanguage "FireSprinklerSystem is a Collection of Devices that allow water to be released when a Fire is detected") | Mid-level-ontology.kif 25510-25511 | |
| (subclass FireSprinklerSystem Collection) | Mid-level-ontology.kif 25509-25509 | FireSprinklerSystem e' uma sub-classe de Colecao |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FireSprinklerSystem "sprinkler system") | Mid-level-ontology.kif 25512-25512 |
| antecedent |
|
|
| (=> (instance ?X FireSprinklerSystem) (exists (?DETECT ?SPRINKLER) (and (instance ?DETECT SmokeDetector) (instance ?SPRINKLER WaterSprinkler) (member ?DETECT ?X) (member ?SPRINKLER ?X)))) |
Mid-level-ontology.kif 25514-25521 | |
| (=> (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 25523-25533 |
|
|
|
|