No TPTP formula. May not be expressible in strict first order. |
naics.kif 238-238 |
子屬性 覆蓋下成長的糧食作物 and 溫室苗圃和花卉生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 258-258 |
子屬性 苗圃和花卉生產 and 溫室苗圃和花卉生產 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26598-26598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26597-26597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26596-26596 |
|