| 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 11616-11616 | 运输 是 易位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7692-7692 | 运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7705-7705 | 走私 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17684-17684 | 航空运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17697-17697 | 太空运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17738-17738 | 水运 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17766-17766 | 陆运 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17789-17789 | 通过公路车辆运输 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11635-11635 | 驾驶 是 运输 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6531-6531 | MoveToEvac 是 运输 的 subclass |
|
|