TransitwayJunction - Sigma Knowledge base Browser

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 3766-3768
(externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg")	pictureList.kif 1273-1273
(subclass TransitwayJunction Transitway)	Transportation.kif 3762-3762	Transitway junction is a subclass of transitway

appearance as argument number 2

(names "intersection" TransitwayJunction)	Transportation.kif 3763-3763	Transitway junction has name "intersection"
(names "junction" TransitwayJunction)	Transportation.kif 3764-3764	Transitway junction has name "junction"
(subclass RailJunction TransitwayJunction)	Transportation.kif 3776-3776	Rail junction is a subclass of transitway junction
(subclass RoadJunction TransitwayJunction)	Transportation.kif 3770-3770	Road junction is a subclass of transitway junction
(subclass WaterJunction TransitwayJunction)	Transportation.kif 3782-3782	Water junction is a subclass of transitway junction
(termFormat ChineseLanguage TransitwayJunction "临时路口")	domainEnglishFormat.kif 58960-58960	Water junction is a subclass of transitway junction
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口")	domainEnglishFormat.kif 58959-58959	Water junction is a subclass of transitway junction
(termFormat EnglishLanguage TransitwayJunction "transitway junction")	domainEnglishFormat.kif 58958-58958	Water junction is a subclass of transitway junction

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