Helicopter(helicopter) more pictures... | cargo_helicopter, chopper, eggbeater, helicopter, shuttle_helicopter, single-rotor_helicopter, skyhook, whirlybird |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17826-17826 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 497-497 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1800-1800 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2214-2214 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2213-2213 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2212-2212 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17825-17825 | Helicopter is a subclass of aircraft |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1889-1889 | A h1 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 1767-1767 | C h53 e is a subclass of helicopter |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27891-27891 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27890-27890 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27889-27889 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1514-1516 |
|