No TPTP formula. May not be expressible in strict first order. |
naics.kif 8177-8177 |
子屬性 沿海和大湖泊貨運 and 深海沿岸和大湖泊水運 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8199-8199 |
子屬性 沿海和大湖泊客運 and 深海沿岸和大湖泊水運 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8132-8132 |
子屬性 深海貨運 and 深海沿岸和大湖泊水運 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8152-8152 |
子屬性 深海客運 and 深海沿岸和大湖泊水運 |
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 |
|