routeInSystem |
appearance as argument number 1 |
(documentation routeInSystem EnglishLanguage "(routeInSystem ?PART ?SYSTEM) means that the Transitway ?PART is an established route of the TransportationSystem ?SYSTEM.") | Transportation.kif 2739-2741 | |
(domain routeInSystem 1 Transitway) | Transportation.kif 2743-2743 | O argumento numero 1 de routeInSystem e' uma instancia de Transitway |
(domain routeInSystem 2 TransitSystem) | Transportation.kif 2744-2744 | O argumento numero 2 de routeInSystem e' uma instancia de TransitSystem |
(instance routeInSystem BinaryPredicate) | Transportation.kif 2742-2742 | routeInSystem e' uma instancia de Predicado Binario |
(subrelation routeInSystem pathInSystem) | Transportation.kif 2745-2745 | routeInSystem e' uma sub-relacao de pathInSystem |
appearance as argument number 2 |
(format ChineseLanguage routeInSystem "%2 %n 是在系统 %1 的 route ") | domainEnglishFormat.kif 2187-2187 | |
(format ChineseTraditionalLanguage routeInSystem "%2 %n 是在系統 %1 的 route ") | domainEnglishFormat.kif 2186-2186 | |
(format EnglishLanguage routeInSystem "%2 is %n a route in system of %1") | domainEnglishFormat.kif 2185-2185 | |
(termFormat ChineseLanguage routeInSystem "系统路线") | domainEnglishFormat.kif 50540-50540 | |
(termFormat ChineseTraditionalLanguage routeInSystem "系統路線") | domainEnglishFormat.kif 50539-50539 | |
(termFormat EnglishLanguage routeInSystem "route in system") | domainEnglishFormat.kif 50538-50538 |
antecedent |
(=> (and (instance ?S RoadTransportationSystem) (routeInSystem ?P ?S)) (instance ?P Roadway)) |
Transportation.kif 2089-2093 |
|
(=> (and (instance ?S SubwaySystem) (routeInSystem ?P ?S)) (instance ?P Tunnel)) |
Transportation.kif 322-326 |
|
(=> (and (subSystem ?S ?T) (routeInSystem ?P ?S)) (routeInSystem ?P ?T)) |
Transportation.kif 2747-2751 |
consequent |
(=> (and (subSystem ?S ?T) (routeInSystem ?P ?S)) (routeInSystem ?P ?T)) |
Transportation.kif 2747-2751 | |
(=> (pathInSystem ?P ?S) (or (routeInSystem ?P ?S) (exists (?R1 ?R2) (and (routeInSystem ?R1 ?S) (routeInSystem ?R2 ?S) (part ?R1 ?P) (part ?R2 ?P) (connected ?R1 ?R2))))) |
Transportation.kif 2727-2737 |
|