Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - routeInSystem
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 3337-3339
(domain routeInSystem 1 Transitway) Transportation.kif 3341-3341
(domain routeInSystem 2 TransitSystem) Transportation.kif 3342-3342
(instance routeInSystem BinaryPredicate) Transportation.kif 3340-3340
(subrelation routeInSystem pathInSystem) Transportation.kif 3343-3343

appearance as argument number 2
-------------------------


(format ChineseLanguage routeInSystem "%2 %n 是在系统 %1 的 route ") domainEnglishFormat.kif 2191-2191
(format ChineseTraditionalLanguage routeInSystem "%2 %n 是在系統 %1 的 route ") domainEnglishFormat.kif 2190-2190
(format EnglishLanguage routeInSystem "%2 is %n a route in system of %1") domainEnglishFormat.kif 2189-2189
(termFormat ChineseLanguage routeInSystem "系统路线") domainEnglishFormat.kif 50544-50544
(termFormat ChineseTraditionalLanguage routeInSystem "系統路線") domainEnglishFormat.kif 50543-50543
(termFormat EnglishLanguage routeInSystem "route in system") domainEnglishFormat.kif 50542-50542

antecedent
-------------------------


(=>
    (and
        (instance ?A AirTransportationSystem)
        (routeInSystem ?A ?P))
    (instance ?P AirTransitway))		 Transportation.kif 3499-3503
(=>
    (and
        (instance ?R RailTransportationSystem)
        (routeInSystem ?P ?R))
    (instance ?P Railway))		 Transportation.kif 2214-2218
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 RoadVehicle)))		 Transportation.kif 3616-3630
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RoadVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3584-3598
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RoadVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3568-3582
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 RoadVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3600-3614
(=>
    (and
        (instance ?S RoadTransportationSystem)
        (routeInSystem ?P ?S))
    (instance ?P Roadway))		 Transportation.kif 2264-2268
(=>
    (and
        (instance ?S SubwaySystem)
        (routeInSystem ?P ?S))
    (instance ?P Tunnel))		 Transportation.kif 322-326
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 Aircraft))		 Transportation.kif 3550-3561
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 RailVehicle))		 Transportation.kif 3524-3535
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RoadVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 RoadVehicle))		 Transportation.kif 3511-3522
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 WaterVehicle))		 Transportation.kif 3537-3548
(=>
    (and
        (instance ?W WaterTransportationSystem)
        (routeInSystem ?W ?P))
    (instance ?P Waterway))		 Transportation.kif 3486-3490
(=>
    (and
        (subSystem ?S ?T)
        (routeInSystem ?P ?S))
    (routeInSystem ?P ?T))		 Transportation.kif 3345-3349

consequent
-------------------------


(=>
    (and
        (subSystem ?S ?T)
        (routeInSystem ?P ?S))
    (routeInSystem ?P ?T))		 Transportation.kif 3345-3349
(=>
    (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 3325-3335


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