TreeView Knowledge Base Browser - FireSprinklerSystem

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

FireSprinklerSystem

Sigma KEE - FireSprinklerSystem

FireSprinklerSystem(sprinkler system)

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 24807-24808
(subclass FireSprinklerSystem Collection)	Mid-level-ontology.kif 24806-24806	Sprinkler system is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage FireSprinklerSystem "sprinkler system")

Mid-level-ontology.kif 24809-24809

antecedent

(=> (instance ?X FireSprinklerSystem) (exists (?DETECT ?SPRINKLER) (and (instance ?DETECT SmokeDetector) (instance ?SPRINKLER WaterSprinkler) (member ?DETECT ?X) (member ?SPRINKLER ?X))))	Mid-level-ontology.kif 24811-24818	If a collection is an instance of sprinkler system, then there exist a physical and another physical such that the physical is an instance of smoke detector and the other physical is an instance of water sprinkler and the physical is a member of the collection and the other physical is a member of the collection
(=> (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 24820-24830	If an object is an instance of sprinkler system, then there exist an entity, a process and another process such that the process is an instance of discovering and the entity is an instance of fire and the object is an instrument for the process and the entity is a patient of the process and the other process is an instance of water motion and the other process originates at the object and the process causes the other process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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