|
|
   Fertilizer
|
|
|
| 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 | 相關的內部概念 肥料 and 氮 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5981-5981 | 相關的內部概念 肥料 and 磷酸 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5980-5980 | 相關的內部概念 肥料 and 鉀肥 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5975-5975 | 子類 肥料 and Mixture |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1741-1741 | 肥料 是 化肥礦產開採 的 industry 產品類別 |
| 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 |
|
|
|
