TreeView Knowledge Base Browser - SingleFamilyResidence

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SingleFamilyResidence

Sigma KEE - SingleFamilyResidence

SingleFamilyResidence(single family residence)

army_hut, field_hut, hut

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3602-3604
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15821-15823
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15820-15820	Single family residence is a subclass of permanent residence

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6937-6937	Apartment building is disjoint from single family residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6952-6952	Condominium building is disjoint from single family residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6980-6980	Dormitory is disjoint from single family residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6867-6867	Apartment unit is a subclass of single family residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6917-6917	Condominium unit is a subclass of single family residence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15770-15770	House is a subclass of single family residence
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53168-53168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53167-53167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53166-53166

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6921-6927	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.	Merge.kif 15825-15837	If a physical is an instance of single family residence, then the physical has the purpose for all an entity and another entity if the home of the entity is the physical and the home of the other entity is the physical, then there exists a third entity such that the third entity is an instance of social unit and the entity is a member of the third entity and the other entity is a member of the third entity

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