ApartmentUnit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ApartmentUnit EnglishLanguage "A SingleFamilyResidence that is not owned by any member of the SocialUnit that lives there.")	Mid-level-ontology.kif 7086-7087
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Apartement.jpg")	pictureList.kif 8340-8340
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ b/ bc/ Flats_at_bristol_harbour_arp.jpg")	pictureList.kif 8885-8885
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Sg_woodlands_a7_01.jpg")	pictureList.kif 8886-8886
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/en/5/ 59/ P54ArtDecFlat.JPG")	pictureList.kif 8887-8887
(externalImage ApartmentUnit "http://upload.wikimedia.org/wikipedia/en/b/ bc/ Riverviewnorthlivingroom.jpg")	pictureList.kif 8888-8888
(subclass ApartmentUnit SingleFamilyResidence)	Mid-level-ontology.kif 7085-7085	Apartment unit is a subclass of single family residence

appearance as argument number 2

(termFormat ChineseLanguage ApartmentUnit "公寓单位")	domainEnglishFormat.kif 7958-7958
(termFormat ChineseTraditionalLanguage ApartmentUnit "公寓單位")	domainEnglishFormat.kif 7957-7957
(termFormat EnglishLanguage ApartmentUnit "apartment unit")	domainEnglishFormat.kif 7956-7956

antecedent

(=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT)))	Mid-level-ontology.kif 7089-7093	If a permanent residence is an instance of apartment unit and the home of a human is the permanent residence, then the human doesn't possess the permanent residence
(=> (instance ?UNIT ApartmentUnit) (exists (?BUILDING) (and (instance ?BUILDING ApartmentBuilding) (part ?UNIT ?BUILDING))))	Mid-level-ontology.kif 7095-7100	If an object is an instance of apartment unit, then there exists another object such that the other object is an instance of apartment building and the object is a part of the other object

consequent

(=>
    (instance ?BUILDING ApartmentBuilding)
    (exists (?UNIT1 ?UNIT2)
        (and
            (instance ?UNIT1 ApartmentUnit)
            (instance ?UNIT2 ApartmentUnit)
            (part ?UNIT1 ?BUILDING)
            (part ?UNIT2 ?BUILDING)
            (not
                (equal ?UNIT1 ?UNIT2)))))

Mid-level-ontology.kif 7159-7167

If an object is an instance of apartment building,
then there exist another object and a third object such that the other object is an instance of apartment unit and the third object is an instance of apartment 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

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

KB Term:			Term intersection

English Word: