CondominiumUnit - Sigma Knowledge base Browser

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	If a permanent residence is an instance of single family residence and the home of a human is the permanent residence and the human possesses the permanent residence and the permanent residence is not an instance of building, then the permanent residence is an instance of condominium unit
(=> (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	If an object is an instance of condominium building, then there exist another object and a third object such that the other object is an instance of condominium unit and the third object is an instance of condominium unit and the other object is a part of the object and the third object is a part of the object and the other object is not equal to the third object