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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Runway
Runway

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


(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
(subclass Runway LandTransitway) Transportation.kif 1370-1370 Runway est une sous-classe de LandTransitway

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


(subclass PavedRunway Runway) Transportation.kif 1384-1384 PavedRunway est une sous-classe de Runway
(subclass UnpavedRunway Runway) Transportation.kif 1622-1622 UnpavedRunway est une sous-classe de Runway
(termFormat ChineseLanguage Runway "跑道") domainEnglishFormat.kif 50635-50635 UnpavedRunway est une sous-classe de Runway
(termFormat ChineseTraditionalLanguage Runway "跑道") domainEnglishFormat.kif 50634-50634 UnpavedRunway est une sous-classe de Runway
(termFormat EnglishLanguage Runway "runway") domainEnglishFormat.kif 50633-50633 UnpavedRunway est une sous-classe de Runway

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


(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Asphalt))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1396-1401
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1403-1408
(=>
    (instance ?RUNWAY Runway)
    (exists (?LENGTH)
        (and
            (instance ?LENGTH LengthMeasure)
            (length ?RUNWAY ?LENGTH))))		 Transportation.kif 1377-1382

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


(=>
    (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 1574-1586
(=>
    (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 1555-1567
(=>
    (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 1536-1548
(=>
    (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 1593-1603
(=>
    (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 1520-1529
(=>
    (instance ?T Taxiway)
    (hasPurpose ?T
        (exists (?R ?AA)
            (and
                (instance ?R Runway)
                (instance ?AA AirportApron)
                (connects ?T ?R ?AA)))))		 Transportation.kif 1421-1428
(=>
    (numberOfRunways ?A ?N)
    (exists (?R ?COLL)
        (and
            (instance ?R Runway)
            (part ?R ?A)
            (member ?R ?COLL)
            (memberCount ?COLL ?N))))		 Transportation.kif 1442-1449


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