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

KB Term:  Term intersection
English Word: 

Sigma KEE - ApartmentBuilding
ApartmentBuilding(apartment building)
apartment_building, apartment_house, tenement, tenement_house

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


(subclass ApartmentBuilding ResidentialBuilding) Mid-level-ontology.kif 8252-8252 Apartment building is a subclass of residential building
(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 8253-8253 Apartment building is disjoint from single family residence
(documentation ApartmentBuilding EnglishLanguage "A ResidentialBuilding containing ApartmentUnits.") Mid-level-ontology.kif 8254-8255 Apartment building is disjoint from single family residence
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Alye_Parusa.jpg") pictureList.kif 1642-1642 Apartment building is disjoint from single family residence
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 08/ Apartmentingurgaon.JPG") pictureList.kif 2105-2105 Apartment building is disjoint from single family residence

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


(termFormat EnglishLanguage ApartmentBuilding "apartment building") domainEnglishFormat.kif 7942-7942
(termFormat ChineseTraditionalLanguage ApartmentBuilding "公寓樓") domainEnglishFormat.kif 7943-7943
(termFormat ChineseLanguage ApartmentBuilding "公寓楼") domainEnglishFormat.kif 7944-7944

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


(=>
    (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

consequent
-------------------------


(=>
    (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


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