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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CondominiumUnit

Sigma KEE - CondominiumUnit
CondominiumUnit(共管公寓单位)

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


(documentation CondominiumUnit EnglishLanguage "A SingleFamilyResidence that may be owned by a member of the SocialUnit that lives there.") Mid-level-ontology.kif 6918-6919
(externalImage CondominiumUnit "http://upload.wikimedia.org/wikipedia/en/ d/ d1/ Aqualbview.jpg") pictureList.kif 8434-8434
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 6917-6917 共管公寓单位单身家庭住所subclass

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


(termFormat ChineseLanguage CondominiumUnit "共管公寓单位") domainEnglishFormat.kif 16524-16524
(termFormat ChineseTraditionalLanguage CondominiumUnit "共管公寓單位") domainEnglishFormat.kif 16523-16523
(termFormat EnglishLanguage CondominiumUnit "condominium unit") domainEnglishFormat.kif 16522-16522

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


(=>
    (instance ?UNIT CondominiumUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING CondominiumBuilding)
            (part ?UNIT ?BUILDING))))
Mid-level-ontology.kif 6929-6934

consequent
-------------------------


(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))
Mid-level-ontology.kif 6921-6927
(=>
    (instance ?BUILDING CondominiumBuilding)
    (exists (?UNIT1 ?UNIT2)
        (and
            (instance ?UNIT1 CondominiumUnit)
            (instance ?UNIT2 CondominiumUnit)
            (part ?UNIT1 ?BUILDING)
            (part ?UNIT2 ?BUILDING)
            (not
                (equal ?UNIT1 ?UNIT2)))))
Mid-level-ontology.kif 6956-6964


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