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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MediumLengthRunwayAirport

Sigma KEE - MediumLengthRunwayAirport
MediumLengthRunwayAirportmedium_length_runway_airport

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


(documentation MediumLengthRunwayAirport EnglishLanguage "MediumLengthRunwayAirport is a CIA category for Airports whose longest runway has a length between 1,524 meters and 2,437 meters, inclusive.") Transportation.kif 1368-1370
(instance MediumLengthRunwayAirport CIAAirportLengthClassification) Transportation.kif 1367-1367

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


(termFormat EnglishLanguage MediumLengthRunwayAirport "medium length runway airport") domainEnglishFormat.kif 6571-6571

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


(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 1524 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 2437 Meter))))))
Transportation.kif 1372-1383


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners