No TPTP formula. May not be expressible in strict first order. |
naics.kif 8233-8233 |
子屬性 內陸水運貨物運輸 and 內陸水運 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8240-8240 |
子屬性 內陸水運客運 and 內陸水運 |
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 |
|