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

appearance as argument number 2

(names "intersection" TransitwayJunction)	Transportation.kif 3797-3797	TransitwayJunction has &ames$"name" "intersection"
(names "junction" TransitwayJunction)	Transportation.kif 3798-3798	TransitwayJunction has &ames$"name" "junction"
(subclass RailJunction TransitwayJunction)	Transportation.kif 3867-3867	RailJunction is a subclass of TransitwayJunction
(subclass RoadJunction TransitwayJunction)	Transportation.kif 3859-3859	RoadJunction is a subclass of TransitwayJunction
(subclass WaterJunction TransitwayJunction)	Transportation.kif 3870-3870	WaterJunction is a subclass of TransitwayJunction
(termFormat ChineseLanguage TransitwayJunction "临时路口")	domainEnglishFormat.kif 58905-58905	WaterJunction is a subclass of TransitwayJunction
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口")	domainEnglishFormat.kif 58904-58904	WaterJunction is a subclass of TransitwayJunction
(termFormat EnglishLanguage TransitwayJunction "transitway junction")	domainEnglishFormat.kif 58903-58903	WaterJunction is a subclass of TransitwayJunction

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 3818-3838	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 TransitwayJunction 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 3455-3465	If a PhysicalSystem is an instance of TransitSystem and a physical is an instance of TransitwayJunction and abstractCounterpart a graph and the PhysicalSystem and systemPart the physical and the PhysicalSystem, then there exists the graphN such that the graphN is an instance of graph node and abstractCounterpart the graphN and the physical 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 3804-3816	If an object is an instance of TransitwayJunction, 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 routeBetween the Transitway, the region and the other region and the other Transitway is an instance of Transitway and routeBetween the other Transitway, the third region and the fourth region and equal the Transitway and the other Transitway and betweenOnPath the region, the object, the other region and the Transitway and betweenOnPath the third region, the object, the fourth region and 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 3849-3857	If an object is an instance of TransitwayJunction, 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 3840-3847

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 TransitwayJunction

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: