CH53E
|
|
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 is a subclass of helicopter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1769-1769 | C h53 e is a subclass of military vehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1768-1768 | C h53 e is a subclass of passenger vehicle |
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 |
|