No TPTP formula. May not be expressible in strict first order. |
naics.kif 8177-8177 |
沿海和大湖泊货运 是 深海沿岸和大湖泊水运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8199-8199 |
沿海和大湖泊客运 是 深海沿岸和大湖泊水运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8132-8132 |
深海货运 是 深海沿岸和大湖泊水运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8152-8152 |
深海客运 是 深海沿岸和大湖泊水运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18858-18858 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18857-18857 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18856-18856 |
|