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 | CH53E e' uma sub-classe de Helicopter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1769-1769 | CH53E e' uma sub-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1768-1768 | CH53E e' uma sub-classe de PassengerVehicle |
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 |
|