No TPTP formula. May not be expressible in strict first order. |
naics.kif 8233-8233 |
内陆水运货物运输 是 内陆水运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8240-8240 |
内陆水运客运 是 内陆水运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30175-30175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30174-30174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30173-30173 |
|