| Fodder(fodder)
| | feed, provender |
| appearance as argument number 1 |
|
|
| s__documentation(s__Fodder,s__EnglishLanguage,'"Fodder is the class of OrganicObjects that is used as food for DomesticAnimals."')
|
Mid-level-ontology.kif 17791-17792 | |
| s__externalImage(s__Fodder,'"http://upload.wikimedia.org/wikipedia/commons/b/ba/ Round_hay_bale_at_dawn02.jpg"')
|
pictureList.kif 898-898 | |
| s__instance(s__Fodder,s__SetOrClass) s__subclass(s__Fodder,s__FoodForFn(s__DomesticAnimal))
|
Mid-level-ontology.kif 17789-17789 | Fodder is a subclass of food for domestic animal |
| s__subclass(s__Fodder,s__OrganicObject) s__instance(s__Fodder,s__SetOrClass) s__instance(s__OrganicObject,s__SetOrClass)
|
Mid-level-ontology.kif 17790-17790 | Fodder is a subclass of organic object |
| appearance as argument number 2 |
|
|
| s__subclass(s__Alfalfa,s__Fodder) s__instance(s__Alfalfa,s__SetOrClass) s__instance(s__Fodder,s__SetOrClass)
|
Economy.kif 4163-4163 | Alfalfa is a subclass of fodder |
| s__instance(s__Clover,s__SetOrClass) s__instance(s__Fodder,s__SetOrClass) s__subclass(s__Clover,s__Fodder)
|
Economy.kif 4167-4167 | Clover is a subclass of fodder |
| s__instance(s__Fodder,s__SetOrClass) s__instance(s__ForageCrop,s__SetOrClass) s__subclass(s__ForageCrop,s__Fodder)
|
Economy.kif 4170-4170 | Forage crop is a subclass of fodder |
| s__subclass(s__Hay,s__Fodder) s__instance(s__Hay,s__SetOrClass) s__instance(s__Fodder,s__SetOrClass)
|
Mid-level-ontology.kif 18165-18165 | Hay is a subclass of fodder |
| s__termFormat(s__ChineseLanguage,s__Fodder,'"饲料"')
|
domainEnglishFormat.kif 24391-24391 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__Fodder,'"飼料"')
|
domainEnglishFormat.kif 24390-24390 | |
| s__termFormat(s__EnglishLanguage,s__Fodder,'"fodder"')
|
domainEnglishFormat.kif 24389-24389 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17793-17801 |
|
|
|
|