| 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 25741-25742 | |
| (subclass FireSprinklerSystem Collection) | Mid-level-ontology.kif 25740-25740 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FireSprinklerSystem "sprinkler system") | Mid-level-ontology.kif 25743-25743 |
| antecedent |
|
|
| (=> (instance ?X FireSprinklerSystem) (exists (?DETECT ?SPRINKLER) (and (instance ?DETECT SmokeDetector) (instance ?SPRINKLER WaterSprinkler) (member ?DETECT ?X) (member ?SPRINKLER ?X)))) |
Mid-level-ontology.kif 25745-25752 | |
| (=> (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 25754-25764 |
|
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