TreeView Knowledge Base Browser - HeatedPool

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HeatedPool

HeatedPool(heated pool)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26812-26814
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26811-26811	Heated pool is a subclass of swimming pool

appearance as argument number 2

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

Mid-level-ontology.kif 26815-26815

antecedent

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

Mid-level-ontology.kif 26817-26825

If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of freshwater and the self connected object is a part of another object and the other object is an instance of water heater and device on is an attribute of the other object,
then warm is an attribute of the object

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