No TPTP formula. May not be expressible in strict first order. |
naics.kif 8451-8451 |
子屬性 所有其他過境和地面客運 and 其他過境和地面客運 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8444-8444 |
子屬性 特殊需要運輸 and 其他過境和地面客運 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43580-43580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43579-43579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43578-43578 |
|