No TPTP formula. May not be expressible in strict first order. |
naics.kif 174-174 |
子屬性 除橘子樹外的柑橘 and 水果和樹堅果種植 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6192-6192 |
子屬性 水果種植 and 水果和樹堅果種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 181-181 |
子屬性 非柑橘類水果和樹堅果種植 and 水果和樹堅果種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 168-168 |
子屬性 橘子樹林 and 水果和樹堅果種植 |
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 |
|