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 |
![]() |
![]() |