| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2070-2070 | RailTransportationSystem e' uma sub-classe de TransitSystem |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 318-318 | SubwaySystem e' uma sub-classe de RailTransportationSystem |
|
|