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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ResidentialBuilding
ResidentialBuilding(residential building)
more pictures...		abode, residence

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


(documentation ResidentialBuilding ChineseLanguage "这是一栋提供住宿的 Building。注：这个类别 不只是包括固定住所，如：House、共管公寓和一般公寓大厦，也包括临时住所，如：酒店和宿舍。 ResidentialBuilding 有别于 CommercialBuilding，后者旨在提供组织而非住宅功能。") chinese_format.kif 3599-3601
(documentation ResidentialBuilding EnglishLanguage "A Building which provides some accommodation for sleeping. Note that this class does not cover just permanent residences, e.g. Houses and condominium and apartment buildings, but also temporary residences, e.g. hotels and dormitories. ResidentialBuildings are also distinguished from CommercialBuildings, which are intended to serve an organizational rather than a residential function.") Merge.kif 15876-15882
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bigger_single_family_home.jpg") pictureList.kif 2332-2332
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Two_story_single_family_home.jpg") pictureList.kif 2333-2333
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ Salinas_mcMansion.jpg") pictureList.kif 2330-2330
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ da/ Nordisches_Einfamilienhaus.jpg") pictureList.kif 1952-1952
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ e/ e2/ La_D%C3%A9fense1.jpg") pictureList.kif 2331-2331
(subclass ResidentialBuilding Building) Merge.kif 15874-15874 Residential building is a subclass of building
(subclass ResidentialBuilding Residence) Merge.kif 15875-15875 Residential building is a subclass of residence

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


(disjoint Barn ResidentialBuilding) Mid-level-ontology.kif 16665-16665 Barn is disjoint from residential building
(disjoint FarmBuilding ResidentialBuilding) Mid-level-ontology.kif 7865-7865 Farm building is disjoint from residential building
(subclass ApartmentBuilding ResidentialBuilding) Mid-level-ontology.kif 7709-7709 Apartment building is a subclass of residential building
(subclass CondominiumBuilding ResidentialBuilding) Mid-level-ontology.kif 7724-7724 Condominium building is a subclass of residential building
(subclass Dormitory ResidentialBuilding) Mid-level-ontology.kif 7751-7751 Dormitory is a subclass of residential building
(subclass HotelBuilding ResidentialBuilding) Hotel.kif 77-77 Hotel is a subclass of residential building
(subclass House ResidentialBuilding) Merge.kif 15840-15840 House is a subclass of residential building
(termFormat ChineseLanguage ResidentialBuilding "住宅楼") domainEnglishFormat.kif 49667-49667 House is a subclass of residential building
(termFormat ChineseTraditionalLanguage ResidentialBuilding "住宅樓") domainEnglishFormat.kif 49666-49666 House is a subclass of residential building
(termFormat EnglishLanguage ResidentialBuilding "residential building") domainEnglishFormat.kif 49665-49665 House is a subclass of residential building

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


(=>
    (instance ?G ResidentialGarden)
    (exists (?B)
        (and
            (instance ?B ResidentialBuilding)
            (orientation ?G ?B Adjacent))))		 Mid-level-ontology.kif 8954-8959
(=>
    (instance ?RESIDENCE Residence)
    (or
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))		 Merge.kif 15852-15859


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