| House(house)
| | Buckingham_Palace, bungalow, cabin, castle, cottage, house, palace, ranch_house, safe_house, stash_house, tract_house, vacation_home |
| appearance as argument number 1 |
|
|
| (documentation House ChineseLanguage "这是一幢 ResidentialBuilding，它是为了让相同 SocialUnit 的成员居住在一起而存在。 House 有别于临时住所如酒店和多户住宅如产权公寓和套间大厦等。") | chinese_format.kif 3591-3592 | |
| (documentation House EnglishLanguage "A ResidentialBuilding which is intended to be inhabited by members of the same SocialUnit. Houses are distinguished from temporary housing like hotels and multi-family dwellings like condominium and apartment buildings.") | Merge.kif 15664-15667 | |
| (externalImage House "http://articulatesoftware.com/SUMOpictures/buildings/ homes/ homes_2/ house_13.png") | pictureList.kif 506-506 | |
| (externalImage House "http://upload.wikimedia.org/wikipedia/commons/7/74/ Droste_Haus.jpg") | pictureList.kif 116-116 | |
| (subclass House ResidentialBuilding) | Merge.kif 15662-15662 | House is a subclass of residential building |
| (subclass House SingleFamilyResidence) | Merge.kif 15663-15663 | House is a subclass of single family residence |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage House "屋") | domainEnglishFormat.kif 28719-28719 | |
| (termFormat ChineseTraditionalLanguage House "屋") | domainEnglishFormat.kif 28718-28718 | |
| (termFormat EnglishLanguage House "house") | domainEnglishFormat.kif 28717-28717 |
| consequent |
|
|
| (=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 15674-15681 |
|
| (=> (instance ?TH ToyHouse) (exists (?H) (and (instance ?H House) (represents ?TH ?H)))) |
Mid-level-ontology.kif 2403-2408 |
|
|
|
|