Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Coronation
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ResidentialBuilding Building) | Merge.kif 16105-16105 | Residential building is a subclass of building |
| (subclass ResidentialBuilding Residence) | Merge.kif 16106-16106 | Residential building is a subclass of residence |
| (documentation ResidentialBuilding EnglishLanguage "A Building which provides some accommodation for sleeping. Note that this class does not cover just permanent residences, e.g. Houses and condominium and apartment buildings, but also temporary residences, e.g. hotels and dormitories. ResidentialBuildings are also distinguished from CommercialBuildings, which are intended to serve an organizational rather than a residential function.") | Merge.kif 16107-16113 | Residential building is a subclass of residence |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ da/ Nordisches_Einfamilienhaus.jpg") | pictureList.kif 1952-1952 | Residential building is a subclass of residence |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ Salinas_mcMansion.jpg") | pictureList.kif 2330-2330 | Residential building is a subclass of residence |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ e/ e2/ La_D%C3%A9fense1.jpg") | pictureList.kif 2331-2331 | Residential building is a subclass of residence |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Bigger_single_family_home.jpg") | pictureList.kif 2332-2332 | Residential building is a subclass of residence |
| (externalImage ResidentialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Two_story_single_family_home.jpg") | pictureList.kif 2333-2333 | Residential building is a subclass of 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 ?G ResidentialGarden) (exists (?B) (and (instance ?B ResidentialBuilding) (orientation ?G ?B Adjacent)))) |
Mid-level-ontology.kif 9502-9507 | If X is an instance of residential garden, then there exists Y such that Y is an instance of residential building and X is adjacent to Y |
|
