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 3756-3758
(externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg")	pictureList.kif 1273-1273
(subclass TransitwayJunction Transitway)	Transportation.kif 3752-3752

appearance as argument number 2

(names "intersection" TransitwayJunction)	Transportation.kif 3753-3753
(names "junction" TransitwayJunction)	Transportation.kif 3754-3754
(subclass RailJunction TransitwayJunction)	Transportation.kif 3823-3823
(subclass RoadJunction TransitwayJunction)	Transportation.kif 3815-3815
(subclass WaterJunction TransitwayJunction)	Transportation.kif 3826-3826
(termFormat ChineseLanguage TransitwayJunction "临时路口")	domainEnglishFormat.kif 58937-58937
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口")	domainEnglishFormat.kif 58936-58936
(termFormat EnglishLanguage TransitwayJunction "transitway junction")	domainEnglishFormat.kif 58935-58935

antecedent

(=> (and (instance ?T Transportation) (instance ?P1 Transitway) (path ?T ?P1) (conveyance ?T ?V) (instance ?J TransitwayJunction) (part ?J ?P1)) (exists (?P2 ?M) (and (instance ?P2 Transitway) (not (equal ?P1 ?P2)) (connects ?J ?P1 ?P2) (capability Transfer path ?J) (instance ?M Transfer) (conveyance ?M ?V) (meetsTemporally (WhenFn ?T) (WhenFn ?M)) (modalAttribute (path ?M ?P2) Possibility))))	Transportation.kif 3774-3794
(=> (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
(=> (instance ?J TransitwayJunction) (exists (?W1 ?A ?B ?W2 ?X ?Y) (and (instance ?W1 Transitway) (routeBetween ?W1 ?A ?B) (instance ?W2 Transitway) (routeBetween ?W2 ?X ?Y) (not (equal ?W1 ?W2)) (betweenOnPath ?A ?J ?B ?W1) (betweenOnPath ?X ?J ?Y ?W2) (connects ?J ?W1 ?W2))))	Transportation.kif 3760-3772
(=> (instance ?J TransitwayJunction) (exists (?W1 ?W2) (and (instance ?W1 Transitway) (instance ?W2 Transitway) (connects ?J ?W1 ?W2) (not (equal ?W1 ?W2)))))	Transportation.kif 3805-3813

consequent

(=>
    (and
        (instance ?R1 Transitway)
        (instance ?R2 Transitway)
        (not
            (equal ?R1 ?R2))
        (connects ?J ?R1 ?R2))
    (instance ?J TransitwayJunction))

Transportation.kif 3796-3803

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

KB Term:			Term intersection

English Word: