House |
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 è una sottoclasse di ResidentialBuilding |
(subclass House SingleFamilyResidence) | Merge.kif 15816-15816 | House è una sottoclasse di SingleFamilyResidence |
appearance as argument number 2 |
(termFormat ChineseLanguage House "屋") | domainEnglishFormat.kif 28713-28713 | |
(termFormat ChineseTraditionalLanguage House "屋") | domainEnglishFormat.kif 28712-28712 | |
(termFormat EnglishLanguage House "house") | domainEnglishFormat.kif 28711-28711 |
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 |