TreeView Knowledge Base Browser - Roof

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Roof

Sigma KEE - Roof

Roof(roof)

housetop, onion_dome, roof

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15344-15344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 159-159
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15343-15343	Roof is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50408-50408
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50407-50407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50406-50406

antecedent

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

Mid-level-ontology.kif 15346-15351

If a self connected object is an instance of roof,
then there exists another self connected object such that the other self connected object is an instance of building and the top of the other self connected object is the self connected object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26021-26032	If a self connected object is an instance of courtyard, then there doesn't exist another self connected object such that the other self connected object is an instance of roof and the top of the self connected object is the other self connected object and there exists an object such that the object is an instance of building and the self connected object is surrounded to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26655-26665	If an object is an instance of lanai, then there exists another object such that the other object is an instance of roof and the other object is a part of the object and the statement there exists an entity such that the entity is an instance of sitting area and the entity is located at the object has the modal force of likely

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