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 2772-2774 | |
(domain routeInSystem 1 Transitway) | Transportation.kif 2776-2776 | The number 1 argument of route in system is an instance of transitway |
(domain routeInSystem 2 TransitSystem) | Transportation.kif 2777-2777 | The number 2 argument of route in system is an instance of transit system |
(instance routeInSystem BinaryPredicate) | Transportation.kif 2775-2775 | route in system is an instance of binary predicate |
(subrelation routeInSystem pathInSystem) | Transportation.kif 2778-2778 | route in system is a subrelation of path in system |
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 50542-50542 | |
(termFormat ChineseTraditionalLanguage routeInSystem "系統路線") | domainEnglishFormat.kif 50541-50541 | |
(termFormat EnglishLanguage routeInSystem "route in system") | domainEnglishFormat.kif 50540-50540 |
antecedent |
consequent |
(=> (and (subSystem ?S ?T) (routeInSystem ?P ?S)) (routeInSystem ?P ?T)) |
Transportation.kif 2780-2784 |
|
(=> (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 2760-2770 |
|