Transitway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Transitway

Transitway(transitway)

more pictures...

Belmont, Belmont_Park, access, approach, beeline, bend, celestial_orbit, course, crosscut, curve, cutoff, feeder_line, flyway, geosynchronous_orbit, itinerary, line_of_fire, main_line, migration_route, orbit, passage, path, route, shortcut, supply_line, supply_route, track, trade_route, way

appearance as argument number 1

(documentation Transitway ChineseLanguage "Transitway 是在 Translocation 实例中，可能以一条 path 通过范围最笼统的类别。Transitway 包括海陆空三个地区，而且它同时包括自然和人工交通工具。")	chinese_format.kif 3355-3356
(documentation Transitway EnglishLanguage "Transitway is the broadest class of regions which may be passed through as a path in instances of Translocation. Transitway includes land, air, and sea regions, and it includes both natural and artificial transitways.")	Merge.kif 14322-14325
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ 1970_route_map_eng.png")	pictureList.kif 12028-12028
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ SchienenverkehrIstanbul2006InBetrieb.png")	pictureList.kif 12027-12027
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Tren_Urbano_Route.jpg")	pictureList.kif 12029-12029
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Image_Interstate66-map.PNG")	pictureList.kif 12025-12025
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png")	pictureList.kif 10301-10301
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Bucharest_Metro_Map-2007.png")	pictureList.kif 12030-12030
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ OWL_Verkehr2.png")	pictureList.kif 12026-12026
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png")	pictureList.kif 10303-10303
(subclass Transitway Region)	Merge.kif 14320-14320	Transitway is a subclass of region
(subclass Transitway SelfConnectedObject)	Merge.kif 14321-14321	Transitway is a subclass of self connected object

appearance as argument number 2

(subclass AirTransitway Transitway)	Transportation.kif 1247-1247	Air transitway is a subclass of transitway
(subclass Airway Transitway)	Mid-level-ontology.kif 11935-11935	Airway is a subclass of transitway
(subclass LandTransitway Transitway)	Merge.kif 14339-14339	Land transitway is a subclass of transitway
(subclass Pipeline Transitway)	Transportation.kif 773-773	Pipeline is a subclass of transitway
(subclass TransitwayJunction Transitway)	Transportation.kif 3794-3794	Transitway junction is a subclass of transitway
(subclass Waterway Transitway)	Geography.kif 5552-5552	Waterway is a subclass of transitway
(termFormat ChineseLanguage Transitway "公交专用道")	domainEnglishFormat.kif 58925-58925	Waterway is a subclass of transitway
(termFormat ChineseTraditionalLanguage Transitway "公交專用道")	domainEnglishFormat.kif 58924-58924	Waterway is a subclass of transitway
(termFormat EnglishLanguage Transitway "transitway")	domainEnglishFormat.kif 58923-58923	Waterway is a subclass of transitway

appearance as argument number 3

(domain TransitFn 1 Transitway)	Transportation.kif 1732-1732	The number 1 argument of transit is an instance of transitway
(domain distanceOnPath 2 Transitway)	Mid-level-ontology.kif 24683-24683	The number 2 argument of distance on path is an instance of transitway
(domain pathInSystem 1 Transitway)	Transportation.kif 3318-3318	The number 1 argument of path in system is an instance of transitway
(domain routeBetween 1 Transitway)	Transportation.kif 3633-3633	The number 1 argument of route between is an instance of transitway
(domain routeInSystem 1 Transitway)	Transportation.kif 3338-3338	The number 1 argument of route in system is an instance of transitway
(domain transitwayThroughputCapacity 1 Transitway)	Transportation.kif 3909-3909	The number 1 argument of transit way throughput capacity is an instance of transitway

antecedent

(=> (and (instance ?GOING (TransitFn ?WAY)) (instance ?WAY Transitway)) (path ?GOING ?WAY))	Transportation.kif 1738-1742	If a motion is an instance of the transit of a transitway and the transitway is an instance of transitway, then the transitway is path along which the motion occurs
(=> (and (instance ?R1 Transitway) (instance ?R2 Transitway) (not (equal ?R1 ?R2)) (connects ?J ?R1 ?R2)) (instance ?J TransitwayJunction))	Transportation.kif 3838-3845	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
(=> (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 3816-3836	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 ?T Transitway) (abstractCounterpart ?G ?TS) (systemPart ?T ?TS)) (exists (?GA) (and (instance ?GA GraphArc) (abstractCounterpart ?GA ?T) (graphPart ?GA ?G))))	Transportation.kif 3441-3451	If a physical system is an instance of transit system and a physical is an instance of transitway 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 graphA such that the graphA is an instance of graph arc and the abstract counterpart of the physical is the graphA and the graphA is a part of the graph
(=> (and (instance ?W Transitway) (attribute ?W BiDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Permission))))	Transportation.kif 3239-3263	If an object is an instance of transitway and bidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for permission
(=> (and (instance ?W Transitway) (attribute ?W UniDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Prohibition))))	Transportation.kif 3272-3296	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for prohibition
(=> (instance ?WAY Transitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Translocation) (path ?TRANSPORT ?WAY)))))	Merge.kif 14331-14337	If a physical is an instance of transitway, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is path along which the entity occurs

consequent

(=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway))	Transportation.kif 3473-3477	If a physical system is an instance of transit system and the physical system is a system part of a physical, then the physical is an instance of transitway
(=> (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 3816-3836	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
(=> (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 3802-3814	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 3847-3855	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
(=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM))))	Transportation.kif 3427-3432	If an object is an instance of transit system, then there exists another object such that the other object is an instance of transitway and the other object is a part of the object
(=> (routeEnd ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2))))))))	Transportation.kif 3378-3392	If a region is the end of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2
(=> (routeStart ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2))))))))	Transportation.kif 3355-3369	If a region is the start of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2

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