No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1738-1738 |
化肥生产 是 化肥行业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1739-1739 |
化肥矿产开采 是 化肥行业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23546-23546 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23545-23545 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23544-23544 |
|