No TPTP formula. May not be expressible in strict first order. |
naics.kif 8107-8107 |
深海沿岸和大湖泊水运 是 水运业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8227-8227 |
内陆水运 是 水运业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62493-62493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62492-62492 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62491-62491 |
|