TransitSystem
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2867-2875 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2866-2866 | TransitSystem est une sous-classe de PhysicalSystem |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2941-2941 | AirTransportationSystem est une sous-classe de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3009-3009 | MultiModalTransitSystem est une sous-classe de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2070-2070 | RailTransportationSystem est une sous-classe de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2091-2091 | RoadTransportationSystem est une sous-classe de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2951-2951 | UniModalTransitSystem est une sous-classe de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | WaterTransportationSystem est une sous-classe de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58894-58894 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58893-58893 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58892-58892 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2769-2769 | Le nombre 2 argument de pathInSystem est une instance de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2823-2823 | Le nombre 2 argument de routeEnd est une instance de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2789-2789 | Le nombre 2 argument de routeInSystem est une instance de TransitSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2800-2800 | Le nombre 2 argument de routeStart est une instance de TransitSystem |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2923-2927 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2891-2901 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2903-2913 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2877-2882 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2884-2889 |
|