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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ResidentialBuilding

Sigma KEE - ResidentialBuilding
ResidentialBuilding
more pictures...
حِلّة, بيْت, منْزِل, مقام, مقرّ, مرْكز, مسْكن, سكن, وَطَن,

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


(documentation ResidentialBuilding ChineseLanguage "这是一栋提供住宿的 Building。注:这个类别 不只是包括固定住所,如:House、共管公寓和一般公寓大厦,也包括临时住所,如:酒店和宿舍。 ResidentialBuilding 有别于 CommercialBuilding,后者旨在提供组织而非住宅功能。") Merge.kif 15828-15830
(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 15821-15827
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bigger_single-family_home.jpg") pictureList.kif 2334-2334
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Two-story_single-family_home.jpg") pictureList.kif 2335-2335
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ Salinas_mcMansion.jpg") pictureList.kif 2332-2332
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ da/ Nordisches_Einfamilienhaus.jpg") pictureList.kif 1954-1954
(externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ e/ e2/ La_D%C3%A9fense1.jpg") pictureList.kif 2333-2333
(subclass ResidentialBuilding Building) Merge.kif 15819-15819
(subclass ResidentialBuilding Residence) Merge.kif 15820-15820

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


(disjoint Barn ResidentialBuilding) Mid-level-ontology.kif 13128-13128
(disjoint FarmBuilding ResidentialBuilding) Mid-level-ontology.kif 6757-6757
(subclass ApartmentBuilding ResidentialBuilding) Mid-level-ontology.kif 6604-6604
(subclass CondominiumBuilding ResidentialBuilding) Mid-level-ontology.kif 6619-6619
(subclass Dormitory ResidentialBuilding) Mid-level-ontology.kif 6634-6634
(subclass HotelBuilding ResidentialBuilding) Hotel.kif 72-72
(subclass House ResidentialBuilding) Merge.kif 15771-15771
(termFormat EnglishLanguage ResidentialBuilding "residential building") domainEnglishFormat.kif 8700-8700

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


(=>
    (instance ?RESIDENCE Residence)
    (or
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))
Merge.kif 15787-15794


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners