AirTransitway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AirTransitway

AirTransitway(air transitway)

air_lane, airway, approach_pattern, flight_path, line_of_flight, pattern, skyway, traffic_pattern

appearance as argument number 1

(documentation AirTransitway EnglishLanguage "The subclass of Transitways that are through the EarthsAtmosphere.")	Transportation.kif 1248-1249
(externalImage AirTransitway "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 13/ FGSQE.jpg/ 250px_FGSQE.jpg")	pictureList.kif 1023-1023
(subclass AirTransitway Transitway)	Transportation.kif 1247-1247	Air transitway is a subclass of transitway

appearance as argument number 2

(subclass Airport AirTransitway)	Transportation.kif 1266-1266	Airport is a subclass of air transitway
(termFormat ChineseLanguage AirTransitway "空中运输通道")	domainEnglishFormat.kif 6295-6295	Airport is a subclass of air transitway
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道")	domainEnglishFormat.kif 6294-6294	Airport is a subclass of air transitway
(termFormat EnglishLanguage AirTransitway "air transitway")	domainEnglishFormat.kif 6293-6293	Airport is a subclass of air transitway

antecedent

(=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT AirTransitway) (instance ?C Collection) (memberType ?C Aircraft) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2))	Transportation.kif 3943-3955	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of air transitway and a collection is an instance of collection and aircraft is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
(=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere)))))	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere

consequent

(=> (and (instance ?A AirTransportationSystem) (routeInSystem ?A ?P)) (instance ?P AirTransitway))	Transportation.kif 3498-3502	If a transitway is an instance of air transportation system and a transit system is a route in system of the transitway, then the transit system is an instance of air transitway
(=> (and (instance ?T AirTransportation) (path ?T ?P)) (instance ?P AirTransitway))	Transportation.kif 1259-1263	If a motion is an instance of air transportation and an object is path along which the motion occurs, then the object is an instance of air transitway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A AirTransitway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B Waterway)))))	Transportation.kif 3694-3709	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of air transitway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of waterway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Railway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Roadway) (instance ?B AirTransitway)))))	Transportation.kif 3728-3743	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of railway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of waterway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Roadway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Railway) (instance ?B AirTransitway)))))	Transportation.kif 3745-3760	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of roadway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of waterway or the other transitway is an instance of railway or the other transitway is an instance of air transitway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Waterway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B AirTransitway)))))	Transportation.kif 3711-3726	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of waterway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway

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