TransitSystem
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2855-2863 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2854-2854 | Transit system is a subclass of physical system |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | AirTransportationSystem is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2944-2944 | Multi modal transit system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2070-2070 | Rail transportation system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2091-2091 | Road transportation system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2939-2939 | Uni modal transit system is a subclass of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2917-2917 | Water transportation system is a subclass of transit system |
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 2757-2757 | The number 2 argument of path in system is an instance of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2811-2811 | The number 2 argument of route end is an instance of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2777-2777 | The number 2 argument of route in system is an instance of transit system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2788-2788 | The number 2 argument of route start is an instance of transit system |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2911-2915 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2879-2889 |
|
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 2865-2870 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2872-2877 |
|