No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17826-17826 | Helicopter is a subclass of aircraft |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1767-1767 | C h53 e is a subclass of helicopter |
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 1889-1889 | A h1 is a subclass of helicopter |