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 2966-2968
(externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg") pictureList.kif 1273-1273
(subclass TransitwayJunction Transitway) Transportation.kif 2962-2962 TransitwayJunctionTransitwaysubclass では %n

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


(names "intersection" TransitwayJunction) Transportation.kif 2963-2963 TransitwayJunction は "intersection" の name を 持って %n{ない}
(names "junction" TransitwayJunction) Transportation.kif 2964-2964 TransitwayJunction は "junction" の name を 持って %n{ない}
(subclass RailJunction TransitwayJunction) Transportation.kif 2976-2976 RailJunctionTransitwayJunctionsubclass では %n
(subclass RoadJunction TransitwayJunction) Transportation.kif 2970-2970 RoadJunctionTransitwayJunctionsubclass では %n
(subclass WaterJunction TransitwayJunction) Transportation.kif 2982-2982 WaterJunctionTransitwayJunctionsubclass では %n
(termFormat ChineseLanguage TransitwayJunction "临时路口") domainEnglishFormat.kif 58922-58922
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口") domainEnglishFormat.kif 58921-58921
(termFormat EnglishLanguage TransitwayJunction "transitway junction") domainEnglishFormat.kif 58920-58920

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


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