No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | 子類 飛機 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2582-2582 | 子類 飛機 and 飛機 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2592-2592 | 子類 火箭 and 飛機 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2593-2593 | 子類 滑翔機 and 飛機 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 155-155 | 子類 軍用飛機 and 飛機 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17826-17826 | 子類 直升機 and 飛機 |