No TPTP formula. May not be expressible in strict first order. |
naics.kif 6886-6886 |
子屬性 糧食和田間豆批發商 and 農產品原料批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6893-6893 |
子屬性 牲畜批發商 and 農產品原料批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6899-6899 |
子屬性 其他農產品原料批發商 and 農產品原料批發商 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23326-23326 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23325-23325 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23324-23324 |
|