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 6302-6302	Airport is a subclass of air transitway
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道")	domainEnglishFormat.kif 6301-6301	Airport is a subclass of air transitway
(termFormat EnglishLanguage AirTransitway "air transitway")	domainEnglishFormat.kif 6300-6300	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 3868-3880	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 3489-3493	If a transitway is an instance of AirTransportationSystem 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 3650-3665	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 the motion is not equal to 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 3684-3699	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 the motion is not equal to 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 3701-3716	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 the motion is not equal to 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 3667-3682	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 the motion is not equal to 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