No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2110-2110 | Motorized railway car is a subclass of rolling stock |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2111-2111 | Motorized railway car is a subclass of powered vehicle |
![]() |