| FarmBuilding(farm building)
| | farmhouse, feedlot, horse_barn, stable, stalls |
| appearance as argument number 1 |
|
|
| (disjoint FarmBuilding ResidentialBuilding) | Mid-level-ontology.kif 7310-7310 | 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 7311-7312 | Farm building is disjoint from residential building |
| (externalImage FarmBuilding "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ LightningVolt_Barn.jpg") | pictureList.kif 2165-2165 | Farm building is disjoint from residential building |
| (subclass FarmBuilding Building) | Mid-level-ontology.kif 7309-7309 | Farm building is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FarmBuilding "农场建设") | domainEnglishFormat.kif 23304-23304 | |
| (termFormat ChineseTraditionalLanguage FarmBuilding "農場建設") | domainEnglishFormat.kif 23303-23303 | |
| (termFormat EnglishLanguage FarmBuilding "farm building") | domainEnglishFormat.kif 23302-23302 |
| antecedent |
|
|
| (=> (instance ?B FarmBuilding) (exists (?F) (and (instance ?F Farm) (located ?B ?F)))) |
Mid-level-ontology.kif 7314-7319 |
|
|
|
|