No TPTP formula. May not be expressible in strict first order. |
naics.kif 238-238 |
覆盖下成长的的粮食作物 是 温室苗圃和花卉生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 258-258 |
苗圃和花卉生产 是 温室苗圃和花卉生产 的 subAttribute |
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 |
|