| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17816-17816 | 飞机 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2582-2582 | 飞机 是 飞机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2592-2592 | 火箭 是 飞机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2593-2593 | 滑翔机 是 飞机 的 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 17825-17825 | 直升机 是 飞机 的 subclass |
|
|