No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1828-1828 | 子類 C h46 d and 直升機 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1829-1829 | 子類 C h46 d and 乘用車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1830-1830 | 子類 C h46 d and 軍車 |