No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1828-1828 | C h46 d is a subclass of helicopter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1829-1829 | C h46 d is a subclass of passenger vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1830-1830 | C h46 d is a subclass of military vehicle |