| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17844-17844 | 飞机 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2615-2615 | 飞机 是 飞机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2625-2625 | 火箭 是 飞机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2626-2626 | 滑翔机 是 飞机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 155-155 | 军用飞机 是 飞机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17853-17853 | 直升机 是 飞机 的 subclass |
|
|