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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitwayJunction

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

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


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

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 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