SingleFamilyResidence - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SingleFamilyResidence

SingleFamilyResidence(single family residence)

army_hut, field_hut, hut

appearance as argument number 1

(documentation SingleFamilyResidence ChineseLanguage "这是为了成为一个单一 SocialUnit 的 home 的 PermanentResidence。这个类别包括 Houses、ApartmentUnits 和 CondominiumUnits。")	chinese_format.kif 3602-3604
(documentation SingleFamilyResidence EnglishLanguage "A PermanentResidence which is intended to be the home of a single SocialUnit. This class covers Houses, ApartmentUnits, and CondominiumUnits.")	Merge.kif 15867-15869
(subclass SingleFamilyResidence PermanentResidence)	Merge.kif 15866-15866	Single family residence is a subclass of permanent residence

appearance as argument number 2

(disjoint ApartmentBuilding SingleFamilyResidence)	Mid-level-ontology.kif 7155-7155	Apartment building is disjoint from single family residence
(disjoint CondominiumBuilding SingleFamilyResidence)	Mid-level-ontology.kif 7170-7170	Condominium building is disjoint from single family residence
(disjoint Dormitory SingleFamilyResidence)	Mid-level-ontology.kif 7198-7198	Dormitory is disjoint from single family residence
(subclass ApartmentUnit SingleFamilyResidence)	Mid-level-ontology.kif 7085-7085	Apartment unit is a subclass of single family residence
(subclass CondominiumUnit SingleFamilyResidence)	Mid-level-ontology.kif 7135-7135	Condominium unit is a subclass of single family residence
(subclass House SingleFamilyResidence)	Merge.kif 15816-15816	House is a subclass of single family residence
(termFormat ChineseLanguage SingleFamilyResidence "单身家庭住所")	domainEnglishFormat.kif 53208-53208	House is a subclass of single family residence
(termFormat ChineseTraditionalLanguage SingleFamilyResidence "單身家庭住所")	domainEnglishFormat.kif 53207-53207	House is a subclass of single family residence
(termFormat EnglishLanguage SingleFamilyResidence "single family residence")	domainEnglishFormat.kif 53206-53206	House is a subclass of single family residence

antecedent

(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	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
(=> (instance ?RESIDENCE SingleFamilyResidence) (hasPurpose ?RESIDENCE (forall (?AGENT1 ?AGENT2) (=> (and (home ?AGENT1 ?RESIDENCE) (home ?AGENT2 ?RESIDENCE)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (member ?AGENT1 ?UNIT) (member ?AGENT2 ?UNIT)))))))	Merge.kif 15871-15883	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 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