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

KB Term:  Term intersection
English Word: 

Sigma KEE - Runway
Runway(runway)runway

appearance as argument number 1
-------------------------


(subclass Runway LandTransitway) Transportation.kif 1370-1370 Runway is a subclass of land transitway
(documentation Runway EnglishLanguage "Runway is the class of Transitways that are used for the takeoff and landing of Airplanes. Runways are Transitways for an intermodal transit, which begins with a land transit and ends with air transit, or vice versa. The Airspace immediately above (and adjacent to) a Runway is an AirTransitway.") Transportation.kif 1371-1375 Runway is a subclass of land transitway

appearance as argument number 2
-------------------------


(subclass PavedRunway Runway) Transportation.kif 1400-1400 Paved runway is a subclass of runway
(subclass UnpavedRunway Runway) Transportation.kif 1638-1638 Unpaved runway is a subclass of runway
(termFormat EnglishLanguage Runway "runway") domainEnglishFormat.kif 50626-50626 Unpaved runway is a subclass of runway
(termFormat ChineseTraditionalLanguage Runway "跑道") domainEnglishFormat.kif 50627-50627 Unpaved runway is a subclass of runway
(termFormat ChineseLanguage Runway "跑道") domainEnglishFormat.kif 50628-50628 Unpaved runway is a subclass of runway

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


(=>
    (instance ?RUNWAY Runway)
    (exists (?LENGTH)
        (and
            (instance ?LENGTH LengthMeasure)
            (length ?RUNWAY ?LENGTH))))		 Transportation.kif 1377-1382 If X is an instance of runway, then there exists Y such that Y is an instance of length measure and the length of X is Y
(=>
    (instance ?RW Runway)
    (hasPurpose ?RW
        (exists (?A ?T)
            (and
                (instance ?A Aircraft)
                (patient ?T ?A)
                (or
                    (and
                        (origin ?T ?RW)
                        (instance ?T TakingOff))
                    (and
                        (destination ?T ?RW)
                        (instance ?T Landing)))))))		 Transportation.kif 1385-1398 If X is an instance of runway, then X has the purpose there exist Y, Z such that Y is an instance of aircraft, Y is a patient of Z, Z originates at X, Z is an instance of taking off or Z ends up at X, and Z is an instance of landing
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Asphalt))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1412-1417 If X is an instance of runway, Y is a surface of X, and Y is an instance of asphalt, then X is an instance of paved runway
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1419-1424 If X is an instance of runway, Y is a surface of X, and Y is an instance of concrete, then X is an instance of paved runway

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


(=>
    (instance ?T Taxiway)
    (hasPurpose ?T
        (exists (?R ?AA)
            (and
                (instance ?R Runway)
                (instance ?AA AirportApron)
                (connects ?T ?R ?AA)))))		 Transportation.kif 1437-1444 If X is an instance of taxiway, then X has the purpose there exist Y, Z such that Y is an instance of runway, Z is an instance of airport apron, X connects Y, and Z
(=>
    (numberOfRunways ?A ?N)
    (exists (?R ?COLL)
        (and
            (instance ?R Runway)
            (part ?R ?A)
            (member ?R ?COLL)
            (memberCount ?COLL ?N))))		 Transportation.kif 1458-1465 If X has Y Runways, then there exist Z, W such that Z is an instance of runway, Z is a part of X, Z is a member of W, and Y is a member count of W
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (lessThan ?LENGTH 914))))		 Transportation.kif 1536-1545 If X is an instance of airport and very short runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is less than 914
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 914)
                (lessThanOrEqualTo ?LENGTH 1523)))))		 Transportation.kif 1552-1564 If X is an instance of airport and short runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than or equal to 914 or Z is less than or equal to 1523
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 1524)
                (lessThanOrEqualTo ?LENGTH 2437)))))		 Transportation.kif 1571-1583 If X is an instance of airport and medium length runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than or equal to 1524 or Z is less than or equal to 2437
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 2438)
                (lessThanOrEqualTo ?LENGTH 3047)))))		 Transportation.kif 1590-1602 If X is an instance of airport and long runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than or equal to 2438 or Z is less than or equal to 3047
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryLongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (greaterThan ?LENGTH 3047))))		 Transportation.kif 1609-1619 If X is an instance of airport and very long runway airport is an attribute of X, then there exist Y and Z such that Y is an instance of runway and Y is a part of X and the length of Y is Z meter(s) and Z is greater than 3047


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners