| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2821-2821 | TransitSystem e' uma sub-classe de PhysicalSystem |
| 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 2085-2085 | RoadTransportationSystem e' uma sub-classe de TransitSystem |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2878-2878 | WaterTransportationSystem e' uma sub-classe de TransitSystem |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2888-2888 | UniModalTransitSystem e' uma sub-classe de TransitSystem |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2893-2893 | MultiModalTransitSystem e' uma sub-classe de TransitSystem |
|
|