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 2973-2975
(externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg") pictureList.kif 1274-1274
(subclass TransitwayJunction Transitway) Transportation.kif 2969-2969 临时路口公交专用道subclass

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


(names "intersection" TransitwayJunction) Transportation.kif 2970-2970 临时路口 的名 是 "intersection"
(names "junction" TransitwayJunction) Transportation.kif 2971-2971 临时路口 的名 是 "junction"
(subclass RailJunction TransitwayJunction) Transportation.kif 2983-2983 铁路枢纽临时路口subclass
(subclass RoadJunction TransitwayJunction) Transportation.kif 2977-2977 交叉路口临时路口subclass
(subclass WaterJunction TransitwayJunction) Transportation.kif 2989-2989 水交界处临时路口subclass
(termFormat ChineseLanguage TransitwayJunction "临时路口") domainEnglishFormat.kif 58889-58889
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口") domainEnglishFormat.kif 58888-58888
(termFormat EnglishLanguage TransitwayJunction "transitway junction") domainEnglishFormat.kif 58887-58887

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


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