| Fertilizer(fertilizer)
| | bonemeal, chicken_manure, cow_manure, fertiliser, fertilizer, fish_meal, guano, horse_manure, manure, organic, organic_fertiliser, organic_fertilizer, plant_food |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6374-6376 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4683-4683 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6377-6377 | Fertilizer is internally related to nitrogen |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6379-6379 | Fertilizer is internally related to phosphoric acid |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6378-6378 | Fertilizer is internally related to potash |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6373-6373 | Fertilizer is a subclass of mixture |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1866-1866 | Fertilizer is an industry product type of fertilizer mineral mining |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23543-23543 | Fertilizer is an industry product type of fertilizer mineral mining |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23542-23542 | Fertilizer is an industry product type of fertilizer mineral mining |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23541-23541 | Fertilizer is an industry product type of fertilizer mineral mining |
|
|
|