No TPTP formula. May not be expressible in strict first order. |
naics.kif 8660-8660 |
子屬性 機動車牽引 and 支持公路運輸活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8667-8667 |
子屬性 其他公路運輸支持活動 and 支持公路運輸活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56205-56205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56204-56204 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56203-56203 |
|