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

appearance as argument number 2

(names "intersection" TransitwayJunction)	Transportation.kif 3799-3799	Transitway junction has name "intersection"
(names "junction" TransitwayJunction)	Transportation.kif 3800-3800	Transitway junction has name "junction"
(subclass RailJunction TransitwayJunction)	Transportation.kif 3869-3869	Rail junction is a subclass of transitway junction
(subclass RoadJunction TransitwayJunction)	Transportation.kif 3861-3861	Road junction is a subclass of transitway junction
(subclass WaterJunction TransitwayJunction)	Transportation.kif 3872-3872	Water junction is a subclass of transitway junction
(termFormat ChineseLanguage TransitwayJunction "临时路口")	domainEnglishFormat.kif 58935-58935	Water junction is a subclass of transitway junction
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口")	domainEnglishFormat.kif 58934-58934	Water junction is a subclass of transitway junction
(termFormat EnglishLanguage TransitwayJunction "transitway junction")	domainEnglishFormat.kif 58933-58933	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 3820-3840	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 3456-3466	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 3806-3818	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 object is between the region and the other region on path the transitway and the object is between the third region and the fourth region on path the other transitway 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 3851-3859	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 3842-3849

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: