| 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 14600-14603 | |
| (externalImage House "http://upload.wikimedia.org/wikipedia/commons/7/74/ Droste_Haus.jpg") | pictureList.kif 116-116 | |
| (externalImage House "http://www.adampease.org/Articulate/SUMOpictures/pictures/ buildings/ homes/ homes_2/ house_13.png") | pictureList.kif 506-506 | |
| (subclass House ResidentialBuilding) | Merge.kif 14598-14598 | House is a subclass of residential building |
| (subclass House SingleFamilyResidence) | Merge.kif 14599-14599 | House is a subclass of single family residence |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage House "屋") | domainEnglishFormat.kif 28615-28615 | |
| (termFormat ChineseTraditionalLanguage House "屋") | domainEnglishFormat.kif 28614-28614 | |
| (termFormat EnglishLanguage House "house") | domainEnglishFormat.kif 28613-28613 |
| consequent |
|
|
| (=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 14610-14617 |
|
| (=> (instance ?TH ToyHouse) (exists (?H) (and (instance ?H House) (represents ?TH ?H)))) |
Mid-level-ontology.kif 2893-2898 |
|
|
|
|