Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Barn(barn)
|  | barn, byre, cow_barn, cowbarn, cowhouse, cowshed, tithe_barn |
| appearance as argument number 1 |
|
|
| (subclass Barn Building) | Mid-level-ontology.kif 17335-17335 | Barn is a subclass of building |
| (disjoint Barn ResidentialBuilding) | Mid-level-ontology.kif 17336-17336 | Barn is disjoint from residential building |
| (documentation Barn EnglishLanguage "A Building on a Farm that is used for keeping DomesticAnimals, Fodder or harvested crops.") | Mid-level-ontology.kif 17337-17338 | Barn is disjoint from residential building |
| (externalImage Barn "http://articulatesoftware.com/SUMOpictures/working/ agricultural/ BARN-1.png") | pictureList.kif 258-258 | Barn is disjoint from residential building |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BARN Barn) (exists (?FARM) (and (instance ?FARM Farm) (located ?BARN ?FARM)))) |
Mid-level-ontology.kif 17340-17345 | If X is an instance of barn, then there exists Y such that Y is an instance of farm and X is located at Y |
|