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	Transitway junction is a subclass of transitway

appearance as argument number 2

(names "intersection" TransitwayJunction)	Transportation.kif 3753-3753	Transitway junction has name "intersection"
(names "junction" TransitwayJunction)	Transportation.kif 3754-3754	Transitway junction has name "junction"
(subclass RailJunction TransitwayJunction)	Transportation.kif 3823-3823	Rail junction is a subclass of transitway junction
(subclass RoadJunction TransitwayJunction)	Transportation.kif 3815-3815	Road junction is a subclass of transitway junction
(subclass WaterJunction TransitwayJunction)	Transportation.kif 3826-3826	Water junction is a subclass of transitway junction
(termFormat ChineseLanguage TransitwayJunction "临时路口")	domainEnglishFormat.kif 58937-58937	Water junction is a subclass of transitway junction
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口")	domainEnglishFormat.kif 58936-58936	Water junction is a subclass of transitway junction
(termFormat EnglishLanguage TransitwayJunction "transitway junction")	domainEnglishFormat.kif 58935-58935	Water junction is a subclass of transitway junction

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	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and the object is not equal to the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
(=> (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	If a physical system is an instance of transit system and a physical is an instance of transitway junction and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphN such that the graphN is an instance of graph node and the abstract counterpart of the physical is the graphN and the graphN is a part of the graph
(=> (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	If an object is an instance of transitway junction, then there exist a transitway, a region,, , another region,, , another transitway,, , a third region and a fourth region such that the transitway is an instance of transitway and the transitway route between the region for the other region and the other transitway is an instance of transitway and the other transitway route between the third region for the fourth region and the transitway is not equal to the other transitway and the region between on path the object for the other region and the third region between on path the object for the fourth region and the object connects the transitway and the other transitway
(=> (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	If an object is an instance of transitway junction, then there exist another object and a third object such that the other object is an instance of transitway and the third object is an instance of transitway and the object connects the other object and the third object and the other object is not equal to the third object

consequent

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

Transportation.kif 3796-3803

If an object is an instance of transitway and another object is an instance of transitway and the object is not equal to the other object and a third object connects the object and the other object,
then the third object is an instance of transitway junction

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: