No TPTP formula. May not be expressible in strict first order. |
naics.kif 174-174 |
除橘子树外的柑橘 是 水果和树坚果种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6192-6192 |
水果种植 是 水果和树坚果种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 181-181 |
非柑橘类水果和树坚果种植 是 水果和树坚果种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 168-168 |
橘子树林 是 水果和树坚果种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25124-25124 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25123-25123 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25122-25122 |
|