Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ApartmentBuilding

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

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


(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 6937-6937 Apartment building is disjoint from single family residence
(documentation ApartmentBuilding EnglishLanguage "A ResidentialBuilding containing ApartmentUnits.") Mid-level-ontology.kif 6938-6939
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 08/ Apartmentingurgaon.JPG") pictureList.kif 2106-2106
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Alye_Parusa.jpg") pictureList.kif 1643-1643
(subclass ApartmentBuilding ResidentialBuilding) Mid-level-ontology.kif 6936-6936 Apartment building is a subclass of residential building

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


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

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 6941-6949

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


(=>
    (instance ?UNIT ApartmentUnit)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING ApartmentBuilding)
            (part ?UNIT ?BUILDING))))
Mid-level-ontology.kif 6877-6882


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 is open source software produced by Articulate Software and its partners