TreeView Knowledge Base Browser - ApartmentUnit

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ApartmentUnit

ApartmentUnit(apartment unit)

more pictures...

apartment, cold-water_flat, duplex, duplex_apartment, efficiency_apartment, flat, flatlet, maisonette, maisonnette, penthouse, railroad_flat, studio, studio_apartment, walk-up, walk-up_apartment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7086-7087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8340-8340
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8885-8885
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8886-8886
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8887-8887
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8888-8888
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7085-7085	Apartment 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 7958-7958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7957-7957
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7956-7956

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7089-7093	If a permanent residence is an instance of apartment unit and the home of a human is the permanent residence, then the human doesn't possess the permanent residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7095-7100	If an object is an instance of apartment unit, then there exists another object such that the other object is an instance of apartment 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 7159-7167

If an object is an instance of apartment building,
then there exist another object and a third object such that the other object is an instance of apartment unit and the third object is an instance of apartment 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