| 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 15817-15820 | |
| (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 15815-15815 | House is a subclass of residential building |
| (subclass House SingleFamilyResidence) | Merge.kif 15816-15816 | House is a subclass of single family residence |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage House "屋") | domainEnglishFormat.kif 28747-28747 | |
| (termFormat ChineseTraditionalLanguage House "屋") | domainEnglishFormat.kif 28746-28746 | |
| (termFormat EnglishLanguage House "house") | domainEnglishFormat.kif 28745-28745 |
| consequent |
|
|
| (=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 15827-15834 |
|
| (=> (instance ?TH ToyHouse) (exists (?H) (and (instance ?H House) (represents ?TH ?H)))) |
Mid-level-ontology.kif 2424-2429 |
|
|
|
|