No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2208-2208 | Streetcar est une sous-classe de RollingStock |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2209-2209 | Streetcar est une sous-classe de ElectrifiedRailwayCar |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2214-2214 | PCCCar est une sous-classe de Streetcar |
![]() |