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

appearance as argument number 2

(termFormat ChineseLanguage CondominiumUnit "共管公寓单位")	domainEnglishFormat.kif 16539-16539
(termFormat ChineseTraditionalLanguage CondominiumUnit "共管公寓單位")	domainEnglishFormat.kif 16538-16538
(termFormat EnglishLanguage CondominiumUnit "condominium unit")	domainEnglishFormat.kif 16537-16537

antecedent

(=>
    (instance ?UNIT CondominiumUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING CondominiumBuilding)
            (part ?UNIT ?BUILDING))))

Mid-level-ontology.kif 7702-7707

consequent

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