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 5976-5978 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4684-4684 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5979-5979 | Fertilizer is internally related to nitrogen |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5981-5981 | Fertilizer is internally related to phosphoric acid |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5980-5980 | Fertilizer is internally related to potash |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5975-5975 | Fertilizer is a subclass of mixture |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1741-1741 | Fertilizer is an industry product type of fertilizer mineral mining |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23540-23540 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23539-23539 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23538-23538 |