| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1828-1828 | C h46 d 是 直升机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1829-1829 | C h46 d 是 乘用车 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1830-1830 | C h46 d 是 军车 的 subclass |
|
|