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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SingleFamilyResidence

 Sigma KEE - SingleFamilyResidence
SingleFamilyResidence

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 SingleFamilyResidence est une sous-classe de PermanentResidence

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


(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 6964-6964 ApartmentBuilding est disjoint de SingleFamilyResidence
(disjoint CondominiumBuilding SingleFamilyResidence) Mid-level-ontology.kif 6979-6979 CondominiumBuilding est disjoint de SingleFamilyResidence
(disjoint Dormitory SingleFamilyResidence) Mid-level-ontology.kif 7007-7007 Dormitory est disjoint de SingleFamilyResidence
(subclass ApartmentUnit SingleFamilyResidence) Mid-level-ontology.kif 6894-6894 ApartmentUnit est une sous-classe de SingleFamilyResidence
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 6944-6944 CondominiumUnit est une sous-classe de SingleFamilyResidence
(subclass House SingleFamilyResidence) Merge.kif 15816-15816 House est une sous-classe de SingleFamilyResidence
(termFormat ChineseLanguage SingleFamilyResidence "单身家庭住所") domainEnglishFormat.kif 53170-53170
(termFormat ChineseTraditionalLanguage SingleFamilyResidence "單身家庭住所") domainEnglishFormat.kif 53169-53169
(termFormat EnglishLanguage SingleFamilyResidence "single family residence") domainEnglishFormat.kif 53168-53168

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


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


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