No TPTP formula. May not be expressible in strict first order. |
naics.kif 8583-8583 |
子屬性 機場運營 and 支持航空運輸活動 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8605-8605 |
子屬性 其他航空運輸支持活動 and 支持航空運輸活動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56133-56133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56132-56132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56131-56131 |
|