No TPTP formula. May not be expressible in strict first order. |
naics.kif 8693-8693 |
子屬性 所有其他運輸支持活動 and 其他運輸支持活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8687-8687 |
子屬性 包裝和裝箱 and 其他運輸支持活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43538-43538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43537-43537 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43536-43536 |
|