CH53E(C h53 e) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1770-1784 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1071-1071 | |
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. | MilitaryDevices.kif 1769-1769 | 子類 C h53 e and 軍車 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1768-1768 | 子類 C h53 e and 乘用車 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13974-13974 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13973-13973 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13972-13972 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2089-2089 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1821-1826 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1788-1800 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1812-1817 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1804-1808 |