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

appearance as argument number 2

(termFormat ChineseLanguage CondominiumUnit "共管公寓单位")	domainEnglishFormat.kif 16535-16535
(termFormat ChineseTraditionalLanguage CondominiumUnit "共管公寓單位")	domainEnglishFormat.kif 16534-16534
(termFormat EnglishLanguage CondominiumUnit "condominium unit")	domainEnglishFormat.kif 16533-16533

antecedent

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

Mid-level-ontology.kif 7147-7152

consequent

(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 7139-7145	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 7174-7182	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