No TPTP formula. May not be expressible in strict first order. |
naics.kif 162-162 |
子屬性 水果和樹堅果種植 and 作物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 232-232 |
子屬性 溫室苗圃和花卉生產 and 作物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 80-80 |
子屬性 油籽和糧食種植 and 作物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 278-278 |
子屬性 其他農作物種植 and 作物生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 143-143 |
子屬性 蔬菜和甜瓜種植 and 作物生產 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17868-17868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17867-17867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17866-17866 |
|