| 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 4861-4863 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4685-4685 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4864-4864 | Fertilizer is internally related to nitrogen |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4866-4866 | Fertilizer is internally related to phosphoric acid |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4865-4865 | Fertilizer is internally related to potash |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4860-4860 | Fertilizer is a subclass of mixture |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1745-1745 | Fertilizer is an industry product type of fertilizer mineral mining |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23476-23476 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23475-23475 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23474-23474 |
|
|
|