No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2208-2208 | Streetcar is a subclass of rolling stock |
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 2214-2214 | PCC car is a subclass of streetcar |