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 "这是为了成为一个单一 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 15821-15823
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15820-15820 SingleFamilyResidencePermanentResidencesubclass では %n

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


(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 6937-6937 ApartmentBuildingSingleFamilyResidencedisjoint では %n
(disjoint CondominiumBuilding SingleFamilyResidence) Mid-level-ontology.kif 6952-6952 CondominiumBuildingSingleFamilyResidencedisjoint では %n
(disjoint Dormitory SingleFamilyResidence) Mid-level-ontology.kif 6980-6980 DormitorySingleFamilyResidencedisjoint では %n
(subclass ApartmentUnit SingleFamilyResidence) Mid-level-ontology.kif 6867-6867 ApartmentUnitSingleFamilyResidencesubclass では %n
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 6917-6917 CondominiumUnitSingleFamilyResidencesubclass では %n
(subclass House SingleFamilyResidence) Merge.kif 15770-15770 HouseSingleFamilyResidencesubclass では %n
(termFormat ChineseLanguage SingleFamilyResidence "单身家庭住所") domainEnglishFormat.kif 53168-53168
(termFormat ChineseTraditionalLanguage SingleFamilyResidence "單身家庭住所") domainEnglishFormat.kif 53167-53167
(termFormat EnglishLanguage SingleFamilyResidence "single family residence") domainEnglishFormat.kif 53166-53166

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


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


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