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

appearance as argument number 2

(names "intersection" TransitwayJunction)	Transportation.kif 3798-3798	Transitway junction has &ames$"name" "intersection"
(names "junction" TransitwayJunction)	Transportation.kif 3799-3799	Transitway junction has &ames$"name" "junction"
(subclass RailJunction TransitwayJunction)	Transportation.kif 3868-3868	Rail junction is a subclass of transitway junction
(subclass RoadJunction TransitwayJunction)	Transportation.kif 3860-3860	Road junction is a subclass of transitway junction
(subclass WaterJunction TransitwayJunction)	Transportation.kif 3871-3871	Water junction is a subclass of transitway junction
(termFormat ChineseLanguage TransitwayJunction "临时路口")	domainEnglishFormat.kif 58905-58905	Water junction is a subclass of transitway junction
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口")	domainEnglishFormat.kif 58904-58904	Water junction is a subclass of transitway junction
(termFormat EnglishLanguage TransitwayJunction "transitway junction")	domainEnglishFormat.kif 58903-58903	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 3819-3839	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 equal the object and 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 3805-3817	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 equal the transitway and 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 3850-3858	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 equal the other object and the third object

consequent

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

Transportation.kif 3841-3848

If an object is an instance of transitway and another object is an instance of transitway and equal the object and 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: