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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25453-25454
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25452-25452	Sprinkler system is a subclass of collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 25455-25455

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25457-25464	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25466-25476	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