Locomotive
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2117-2120 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2595-2595 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2596-2596 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2597-2597 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2849-2849 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2486-2486 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2593-2593 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2116-2116 | Locomotive is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2115-2115 | Locomotive is a subclass of rolling stock |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34901-34901 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34900-34900 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34899-34899 |