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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CondominiumUnit
CondominiumUnit(condominium unit)
condo, condominium

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 6578-6579
(externalImage CondominiumUnit "http://upload.wikimedia.org/wikipedia/en/ d/ d1/ Aqualbview.jpg") pictureList.kif 8435-8435
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 6577-6577 Condominium unit is a subclass of single family residence

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


(termFormat ChineseLanguage CondominiumUnit "共管公寓单位") domainEnglishFormat.kif 16515-16515
(termFormat ChineseTraditionalLanguage CondominiumUnit "共管公寓單位") domainEnglishFormat.kif 16514-16514
(termFormat EnglishLanguage CondominiumUnit "condominium unit") domainEnglishFormat.kif 16513-16513

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


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

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


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


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