Helicopter(直升機) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17827-17827 | |
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 17826-17826 | 子類 直升機 and 飛機 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1889-1889 | 子類 A h1 and 直升機 |
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 1767-1767 | 子類 C h53 e and 直升機 |
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 |