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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ResidentialBuilding
more pictures...

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 15805-15811
(externalImage ResidentialBuilding " commons/ 9/ 99/ Bigger_single-family_home.jpg") pictureList.kif 2333-2333
(externalImage ResidentialBuilding " commons/ a/ a1/ Two-story_single-family_home.jpg") pictureList.kif 2334-2334
(externalImage ResidentialBuilding " commons/ d/ d2/ Salinas_mcMansion.jpg") pictureList.kif 2331-2331
(externalImage ResidentialBuilding " commons/ d/ da/ Nordisches_Einfamilienhaus.jpg") pictureList.kif 1953-1953
(externalImage ResidentialBuilding " commons/ e/ e2/ La_D%C3%A9fense1.jpg") pictureList.kif 2332-2332
(subclass ResidentialBuilding Building) Merge.kif 15803-15803 住宅楼建筑物subclass
(subclass ResidentialBuilding Residence) Merge.kif 15804-15804 住宅楼住宅subclass

appearance as argument number 2

(disjoint Barn ResidentialBuilding) Mid-level-ontology.kif 15737-15737 谷仓 和 % 2 是 disjoint
(disjoint FarmBuilding ResidentialBuilding) Mid-level-ontology.kif 7092-7092 农场建设 和 % 2 是 disjoint
(subclass ApartmentBuilding ResidentialBuilding) Mid-level-ontology.kif 6936-6936 公寓楼住宅楼subclass
(subclass CondominiumBuilding ResidentialBuilding) Mid-level-ontology.kif 6951-6951 公寓大楼住宅楼subclass
(subclass Dormitory ResidentialBuilding) Mid-level-ontology.kif 6978-6978 宿舍住宅楼subclass
(subclass HotelBuilding ResidentialBuilding) Hotel.kif 77-77 HotelBuilding住宅楼subclass
(subclass House ResidentialBuilding) Merge.kif 15769-15769 住宅楼subclass
(termFormat ChineseLanguage ResidentialBuilding "住宅楼") domainEnglishFormat.kif 49634-49634
(termFormat ChineseTraditionalLanguage ResidentialBuilding "住宅樓") domainEnglishFormat.kif 49633-49633
(termFormat EnglishLanguage ResidentialBuilding "residential building") domainEnglishFormat.kif 49632-49632


    (instance ?G ResidentialGarden)
    (exists (?B)
            (instance ?B ResidentialBuilding)
            (orientation ?G ?B Adjacent))))
Mid-level-ontology.kif 8181-8186
    (instance ?RESIDENCE Residence)
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))
Merge.kif 15781-15788

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