|
|
   Helicopter
|
|
|
| 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 | 直升机 是 飞机 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1889-1889 | A h1 是 直升机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1828-1828 | C h46 d 是 直升机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1767-1767 | C h53 e 是 直升机 的 subclass |
| 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 |
|
|
|
