Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass House ResidentialBuilding) | Merge.kif 16054-16054 | House is a subclass of residential building |
| (subclass House SingleFamilyResidence) | Merge.kif 16055-16055 | House is a subclass of single family residence |
| (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 16056-16059 | House is a subclass of single family residence |
| (externalImage House "http://upload.wikimedia.org/wikipedia/commons/7/74/ Droste_Haus.jpg") | pictureList.kif 116-116 | House is a subclass of single family residence |
| (externalImage House "http://articulatesoftware.com/SUMOpictures/buildings/ homes/ homes_2/ house_13.png") | pictureList.kif 506-506 | House is a subclass of single family residence |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 16083-16090 | If X is an instance of residence, then X is an instance of house or there exists Y such that Y is an instance of residential building and X is a part of Y |
| (=> (instance ?TH ToyHouse) (exists (?H) (and (instance ?H House) (represents ?TH ?H)))) |
Mid-level-ontology.kif 3030-3035 | If X is an instance of toy house, then there exists Y such that Y is an instance of house and X expresses Y |
|