Basement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Basement

Basement(basement)

basement, cellar

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15407-15409
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4537-4537
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15406-15406	Basement is a subclass of building level

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10098-10098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10097-10097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10096-10096

antecedent

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

Mid-level-ontology.kif 15411-15420

If an object is an instance of basement,
then there don't exist another object and a third object such that the other object is an instance of building level and the third object is an instance of building and the other object is a part of the third object and the object is a part of the third object and the other object is not equal to the object and the other object is below to the object

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