Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ApartmentUnit
ApartmentUnit(apartment unit)
more pictures...		apartment, cold-water_flat, duplex, duplex_apartment, efficiency_apartment, flat, flatlet, maisonette, maisonnette, penthouse, railroad_flat, studio, studio_apartment, walk-up, walk-up_apartment

appearance as argument number 1
-------------------------


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

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


(termFormat EnglishLanguage ApartmentUnit "apartment unit") domainEnglishFormat.kif 7948-7948
(termFormat ChineseTraditionalLanguage ApartmentUnit "公寓單位") domainEnglishFormat.kif 7949-7949
(termFormat ChineseLanguage ApartmentUnit "公寓单位") domainEnglishFormat.kif 7950-7950

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


(=>
    (and
        (instance ?UNIT ApartmentUnit)
        (home ?PERSON ?UNIT))
    (not
        (possesses ?PERSON ?UNIT)))		 Mid-level-ontology.kif 8187-8191 If X is an instance of apartment unit and the home of Y is X, then Y doesn't possess X
(=>
    (instance ?UNIT ApartmentUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING ApartmentBuilding)
            (part ?UNIT ?BUILDING))))		 Mid-level-ontology.kif 8193-8198 If X is an instance of apartment unit, then there exists Y such that Y is an instance of apartment building and X is a part of Y

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 8257-8265 If X is an instance of apartment building, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of apartment unit (3) Z is an instance of apartment unit (4) Y is a part of X (5) Z is a part of X (6) equal Y (7) Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners