| No TPTP formula. May not be expressible in strict first order. |
naics.kif 8675-8675 |
货运安排 是 支持运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 8681-8681 |
其他运输支持活动 是 支持运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 8577-8577 |
支持航空运输活动 是 支持运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 8613-8613 |
铁路运输支持活动 是 支持运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 8654-8654 |
支持公路运输活动 是 支持运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 8619-8619 |
支持水上运输活动 是 支持运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56209-56209 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56208-56208 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56207-56207 |
|
SupportActivitiesForTransportation