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 15892-15894
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15891-15891 Single family residence is a subclass of permanent residence

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


(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 7710-7710 Apartment building is disjoint from single family residence
(disjoint CondominiumBuilding SingleFamilyResidence) Mid-level-ontology.kif 7725-7725 Condominium building is disjoint from single family residence
(disjoint Dormitory SingleFamilyResidence) Mid-level-ontology.kif 7753-7753 Dormitory is disjoint from single family residence
(subclass ApartmentUnit SingleFamilyResidence) Mid-level-ontology.kif 7640-7640 Apartment unit is a subclass of single family residence
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 7690-7690 Condominium unit is a subclass of single family residence
(subclass House SingleFamilyResidence) Merge.kif 15841-15841 House is a subclass of single family residence
(termFormat ChineseLanguage SingleFamilyResidence "单身家庭住所") domainEnglishFormat.kif 53201-53201 House is a subclass of single family residence
(termFormat ChineseTraditionalLanguage SingleFamilyResidence "單身家庭住所") domainEnglishFormat.kif 53200-53200 House is a subclass of single family residence
(termFormat EnglishLanguage SingleFamilyResidence "single family residence") domainEnglishFormat.kif 53199-53199 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 7694-7700
(=>
    (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 15896-15908


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