|
|
   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 | 肥料 和 氮 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5981-5981 | 肥料 和 磷酸 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5980-5980 | 肥料 和 钾肥 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5975-5975 | 肥料 是 混合物 的 subclass |
| 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 |
|
|
|
