Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 8098-8098 Apartment building is disjoint from single family residence
(documentation ApartmentBuilding EnglishLanguage "A ResidentialBuilding containing ApartmentUnits.") Mid-level-ontology.kif 8099-8100 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
(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
(subclass ApartmentBuilding ResidentialBuilding) Mid-level-ontology.kif 8097-8097 Apartment building is a subclass of residential building

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


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

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 8102-8110

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


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


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