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


KB Term:  Term intersection
English Word: 

  ApartmentUnit

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners