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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitwayJunction
TransitwayJunction

appearance as argument number 1
-------------------------


(documentation TransitwayJunction EnglishLanguage "TransitwayJunction is the class of regions where two or more Transitways meet and traffic may transfer from one transitway to another.") Transportation.kif 2944-2946
(externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg") pictureList.kif 1274-1274
(subclass TransitwayJunction Transitway) Transportation.kif 2940-2940 subclass TransitwayJunction and Transitway

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


(names "intersection" TransitwayJunction) Transportation.kif 2941-2941 names "intersection" and TransitwayJunction
(names "junction" TransitwayJunction) Transportation.kif 2942-2942 names "junction" and TransitwayJunction
(subclass RailJunction TransitwayJunction) Transportation.kif 2954-2954 subclass RailJunction and TransitwayJunction
(subclass RoadJunction TransitwayJunction) Transportation.kif 2948-2948 subclass RoadJunction and TransitwayJunction
(subclass WaterJunction TransitwayJunction) Transportation.kif 2960-2960 subclass WaterJunction and TransitwayJunction
(termFormat ChineseLanguage TransitwayJunction "临时路口") domainEnglishFormat.kif 58809-58809
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口") domainEnglishFormat.kif 58808-58808
(termFormat EnglishLanguage TransitwayJunction "transitway junction") domainEnglishFormat.kif 58807-58807

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


(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?TJ TransitwayJunction)
        (abstractCounterpart ?G ?TS)
        (systemPart ?TJ ?TS))
    (exists (?GN)
        (and
            (instance ?GN GraphNode)
            (abstractCounterpart ?GN ?TJ)
            (graphPart ?GN ?G))))
Transportation.kif 2836-2846


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners