No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2210-2212 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3196-3196 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2990-2990 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2209-2209 |
Streetcar is a subclass of electrified railway car |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2208-2208 |
Streetcar is a subclass of rolling stock |