TreeView Knowledge Base Browser - CondominiumUnit

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CondominiumUnit

Sigma KEE - CondominiumUnit

CondominiumUnit(condominium unit)

condo, condominium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6917-6918
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8434-8434
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6916-6916	Condominium unit is a subclass of single family residence

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16524-16524
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16523-16523
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16522-16522

antecedent

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

Mid-level-ontology.kif 6928-6933

If an object is an instance of condominium unit,
then there exists another object such that the other object is an instance of condominium building and the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6920-6926	If a permanent residence is an instance of single family residence and the home of a human is the permanent residence and the human possesses the permanent residence and the permanent residence is not an instance of building, then the permanent residence is an instance of condominium unit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6955-6963	If an object is an instance of condominium building, then there exist another object and a third object such that the other object is an instance of condominium unit and the third object is an instance of condominium unit and the other object is a part of the object and the third object is a part of the object and the other object is not equal to the third 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