Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AirTransitway

 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
-------------------------


(subclass AirTransitway Transitway) Transportation.kif 1247-1247 Air transitway is a subclass of transitway
(documentation AirTransitway EnglishLanguage "The subclass of Transitways that are through the EarthsAtmosphere.") Transportation.kif 1248-1249 Air transitway is a subclass of transitway
(externalImage AirTransitway "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 13/ FGSQE.jpg/ 250px_FGSQE.jpg") pictureList.kif 1023-1023 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 EnglishLanguage AirTransitway "air transitway") domainEnglishFormat.kif 6293-6293 Airport is a subclass of air transitway
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") domainEnglishFormat.kif 6294-6294 Airport is a subclass of air transitway
(termFormat ChineseLanguage AirTransitway "空中运输通道") domainEnglishFormat.kif 6295-6295 Airport is a subclass of air transitway

antecedent
-------------------------


(=>
    (instance ?WAY AirTransitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Transportation)
                (path ?TRANSPORT ?WAY)
                (partlyLocated ?WAY EarthsAtmosphere)))))		 Transportation.kif 1250-1257 If X is an instance of air transitway, then X has the purpose there exists Y such that Y is an instance of transportation, X is path along which Y occurs, and X is partly located in earths atmosphere
(=>
    (and
        (transitwayThroughputCapacity ?LT ?TI ?I)
        (instance ?LT AirTransitway)
        (instance ?C CollectionOfObjects)
        (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 4487-4499 If All of the following hold: (1) X can handle Y number of vehicles during Z (2) X is an instance of air transitway (3) W is an instance of collection (4) aircraft is a member type of W (5) V is a member count of W (6) U is a member of W (7) T is an instance of transportation (8) U is an instrument for T (9) the time of existence of T takes place during Z (10) X is path along which T occurs, then Y is greater than or equal to V

consequent
-------------------------


(=>
    (and
        (instance ?T AirTransportation)
        (path ?T ?P))
    (instance ?P AirTransitway))		 Transportation.kif 1259-1263 If X is an instance of air transportation and Y is path along which X occurs, then Y is an instance of air transitway
(=>
    (and
        (instance ?A AirTransportationSystem)
        (routeInSystem ?A ?P))
    (instance ?P AirTransitway))		 Transportation.kif 4042-4046 If X is an instance of air transportation system and Y is a route in system of X, then Y 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 4238-4253 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of air transitway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of waterway
(=>
    (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 4255-4270 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of waterway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of air transitway
(=>
    (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 4272-4287 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of railway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of roadway or V 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 4289-4304 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of roadway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of railway or V is an instance of air transitway


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners