No TPTP formula. May not be expressible in strict first order. |
naics.kif 8431-8431 |
契约公交行业 是 过境和地面客运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8400-8400 |
城市间和农村公共汽车运输 是 过境和地面客运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8437-8437 |
其他过境和地面客运 是 过境和地面客运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8425-8425 |
学校和员工公交车运输 是 过境和地面客运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8406-8406 |
出租车和豪华轿车服务 是 过境和地面客运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8366-8366 |
城市交通系统 是 过境和地面客运 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58850-58850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58849-58849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58848-58848 |
|