Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SingleFamilyResidence
SingleFamilyResidence(单身家庭住所)

appearance as argument number 1
-------------------------


(documentation SingleFamilyResidence ChineseLanguage "这是为了成为一个单一 SocialUnithomePermanentResidence。这个类别包括 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 15552-15554
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15551-15551 单身家庭住所永久居留权subclass

appearance as argument number 2
-------------------------


(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 6601-6601 公寓楼 和 % 2 是 disjoint
(disjoint CondominiumBuilding SingleFamilyResidence) Mid-level-ontology.kif 6616-6616 公寓大楼 和 % 2 是 disjoint
(disjoint Dormitory SingleFamilyResidence) Mid-level-ontology.kif 6644-6644 宿舍 和 % 2 是 disjoint
(subclass ApartmentUnit SingleFamilyResidence) Mid-level-ontology.kif 6531-6531 公寓单位单身家庭住所subclass
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 6581-6581 共管公寓单位单身家庭住所subclass
(subclass House SingleFamilyResidence) Merge.kif 15501-15501 单身家庭住所subclass
(termFormat ChineseLanguage SingleFamilyResidence "单身家庭住所") domainEnglishFormat.kif 53151-53151
(termFormat ChineseTraditionalLanguage SingleFamilyResidence "單身家庭住所") domainEnglishFormat.kif 53150-53150
(termFormat EnglishLanguage SingleFamilyResidence "single family residence") domainEnglishFormat.kif 53149-53149

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))
Mid-level-ontology.kif 6585-6591
(=>
    (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 15556-15568


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