| FarmBuilding(farm building)
| | farmhouse, feedlot, horse_barn, stable, stalls |
| appearance as argument number 1 |
|
|
| (disjoint FarmBuilding ResidentialBuilding) | Mid-level-ontology.kif 7865-7865 | 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 7866-7867 | 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 7864-7864 | Farm building is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FarmBuilding "农场建设") | domainEnglishFormat.kif 23298-23298 | |
| (termFormat ChineseTraditionalLanguage FarmBuilding "農場建設") | domainEnglishFormat.kif 23297-23297 | |
| (termFormat EnglishLanguage FarmBuilding "farm building") | domainEnglishFormat.kif 23296-23296 |
| antecedent |
|
|
| (=> (instance ?B FarmBuilding) (exists (?F) (and (instance ?F Farm) (located ?B ?F)))) |
Mid-level-ontology.kif 7869-7874 |
|
|
|
|