more pictures...
| 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 15827-15833 | |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bigger_single-family_home.jpg") | pictureList.kif 2333-2333 | |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Two-story_single-family_home.jpg") | pictureList.kif 2334-2334 | |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ Salinas_mcMansion.jpg") | pictureList.kif 2331-2331 | |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ da/ Nordisches_Einfamilienhaus.jpg") | pictureList.kif 1953-1953 | |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ e/ e2/ La_D%C3%A9fense1.jpg") | pictureList.kif 2332-2332 | |
| (subclass ResidentialBuilding Building) | Merge.kif 15825-15825 | ResidentialBuilding は 建物 の subclass では %n |
| (subclass ResidentialBuilding Residence) | Merge.kif 15826-15826 | ResidentialBuilding は Residence の subclass では %n |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?G ResidentialGarden) (exists (?B) (and (instance ?B ResidentialBuilding) (orientation ?G ?B Adjacent)))) |
Mid-level-ontology.kif 8180-8185 |
|
| (=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 15803-15810 |
|
|
|