Roof - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 15343-15343
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 15342-15342	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 15345-15350

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 26009-26020	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 26643-26653	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 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