No TPTP formula. May not be expressible in strict first order. |
naics.kif 8013-8013 |
子屬性 非計劃包貨運航空運輸 and 非定期航空運輸 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8006-8006 |
子屬性 非計劃的包機客運 and 非定期航空運輸 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8020-8020 |
子屬性 其他非計劃的航空運輸 and 非定期航空運輸 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40859-40859 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40858-40858 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40857-40857 |
|