| FarmBuilding(farm building)
| | farmhouse, feedlot, horse_barn, stable, stalls |
| appearance as argument number 1 |
|
|
| (disjoint FarmBuilding ResidentialBuilding) | Mid-level-ontology.kif 8253-8253 | Farm building is disjoint from residential building |
| (documentation FarmBuilding EnglishLanguage "A Building on a Farm that is used for keeping DomesticAnimals, Fodder or harvested crops.") | Mid-level-ontology.kif 8254-8255 | Farm building is disjoint from residential building |
| (externalImage FarmBuilding "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ LightningVolt_Barn.jpg") | pictureList.kif 2164-2164 | Farm building is disjoint from residential building |
| (subclass FarmBuilding Building) | Mid-level-ontology.kif 8252-8252 | Farm building is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FarmBuilding "农场建设") | domainEnglishFormat.kif 23287-23287 | |
| (termFormat ChineseTraditionalLanguage FarmBuilding "農場建設") | domainEnglishFormat.kif 23286-23286 | |
| (termFormat EnglishLanguage FarmBuilding "farm building") | domainEnglishFormat.kif 23285-23285 |
| antecedent |
|
|
| (=> (instance ?B FarmBuilding) (exists (?F) (and (instance ?F Farm) (located ?B ?F)))) |
Mid-level-ontology.kif 8257-8262 |
|
|
|
|