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

Formal Language: 



KB Term:  Term intersection
English Word: 

  routeInSystem

 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 2772-2774
(domain routeInSystem 1 Transitway) Transportation.kif 2776-2776 系统路线 的 1 数量 是 公交专用道 的 instance
(domain routeInSystem 2 TransitSystem) Transportation.kif 2777-2777 系统路线 的 2 数量 是 运输系统 的 instance
(instance routeInSystem BinaryPredicate) Transportation.kif 2775-2775 系统路线 是 二元谓语 的 instance
(subrelation routeInSystem pathInSystem) Transportation.kif 2778-2778 系统路线 是 系统中的路径 的 subrelation

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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