| 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 | |
| (domain routeInSystem 2 TransitSystem) | Transportation.kif 2777-2777 | |
| (instance routeInSystem BinaryPredicate) | Transportation.kif 2775-2775 | |
| (subrelation routeInSystem pathInSystem) | Transportation.kif 2778-2778 |
| 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 |
|
|
| (=> (and (instance ?A AirTransportationSystem) (routeInSystem ?A ?P)) (instance ?P AirTransitway)) |
Transportation.kif 2933-2937 | |
| (=> (and (instance ?R RailTransportationSystem) (routeInSystem ?P ?R)) (instance ?P Railway)) |
Transportation.kif 2074-2078 | |
| (=> (and (instance ?S RoadTransportationSystem) (routeInSystem ?P ?S)) (instance ?P Roadway)) |
Transportation.kif 2095-2099 | |
| (=> (and (instance ?S SubwaySystem) (routeInSystem ?P ?S)) (instance ?P Tunnel)) |
Transportation.kif 322-326 | |
| (=> (and (instance ?W WaterTransportationSystem) (routeInSystem ?W ?P)) (instance ?P Waterway)) |
Transportation.kif 2921-2925 | |
| (=> (and (subSystem ?S ?T) (routeInSystem ?P ?S)) (routeInSystem ?P ?T)) |
Transportation.kif 2780-2784 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners