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)

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 14313-14316
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png")	pictureList.kif 12042-12042
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png")	pictureList.kif 10304-10304
(subclass Transitway Region)	Merge.kif 14311-14311	Transitway is a subclass of region
(subclass Transitway SelfConnectedObject)	Merge.kif 14312-14312	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 11744-11744	Airway is a subclass of transitway
(subclass LandTransitway Transitway)	Merge.kif 14330-14330	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 3014-3014	Transitway junction is a subclass of transitway
(subclass Waterway Transitway)	Geography.kif 5576-5576	Waterway is a subclass of transitway
(termFormat ChineseLanguage Transitway "公交专用道")	domainEnglishFormat.kif 58906-58906
(termFormat ChineseTraditionalLanguage Transitway "公交專用道")	domainEnglishFormat.kif 58905-58905
(termFormat EnglishLanguage Transitway "transitway")	domainEnglishFormat.kif 58904-58904

appearance as argument number 3

(domain TransitFn 1 Transitway)	Transportation.kif 1603-1603	The number 1 argument of transit is an instance of transitway
(domain distanceOnPath 2 Transitway)	Mid-level-ontology.kif 24420-24420	The number 2 argument of distance on path is an instance of transitway
(domain pathInSystem 1 Transitway)	Transportation.kif 2756-2756	The number 1 argument of path in system is an instance of transitway
(domain routeBetween 1 Transitway)	Transportation.kif 2954-2954	The number 1 argument of route between is an instance of transitway
(domain routeInSystem 1 Transitway)	Transportation.kif 2776-2776	The number 1 argument of route in system is an instance of transitway
(domain transitwayCapacityCount 1 Transitway)	Transportation.kif 3087-3087	The number 1 argument of transitway capacity count is an instance of transitway
(domain transitwayCapacityRate 1 Transitway)	Transportation.kif 3097-3097	The number 1 argument of transitway capacity rate is an instance of transitway

antecedent

(=> (and (instance ?GOING (TransitFn ?WAY)) (instance ?WAY Transitway)) (path ?GOING ?WAY))	Transportation.kif 1609-1613	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 ?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 2879-2889	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
(=> (instance ?WAY Transitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Translocation) (path ?TRANSPORT ?WAY)))))	Merge.kif 14322-14328	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 2911-2915	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
(=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM))))	Transportation.kif 2865-2870	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 2816-2830	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 2793-2807	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