| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1732-1732 | 鹞2 是 VSTOL 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1733-1733 | 鹞2 是 喷气式飞机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1734-1734 | 鹞2 是 军车 的 subclass |
|
|