No TPTP formula. May not be expressible in strict first order. |
naics.kif 8107-8107 |
子屬性 深海沿岸和大湖泊水運 and 水運業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8227-8227 |
子屬性 內陸水運 and 水運業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62495-62495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62494-62494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62493-62493 |
|