| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1572-1580 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2610-2615 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11594-11594 | 运输 是 易位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7693-7693 | 运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7706-7706 | 走私 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17685-17685 | 航空运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17698-17698 | 太空运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17739-17739 | 水运 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17767-17767 | 陆运 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17790-17790 | 通过公路车辆运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11613-11613 | 驾驶 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6531-6531 | MoveToEvac 是 运输 的 subclass |
|
|