TreeView Knowledge Base Browser - CondominiumUnit

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 7136-7137
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 7135-7135	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 16540-16540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16539-16539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16538-16538

antecedent

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

Mid-level-ontology.kif 7147-7152

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 7139-7145	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 7174-7182	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