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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MediumLengthRunwayAirport
MediumLengthRunwayAirport(medium length runway airport)medium_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 1410-1412
(instance MediumLengthRunwayAirport CIAAirportLengthClassification) Transportation.kif 1409-1409 Medium length runway airport is an instance of CIA airport length classification

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


(termFormat ChineseLanguage MediumLengthRunwayAirport "中长跑道机场") domainEnglishFormat.kif 36829-36829 "中长跑道机场" is the printable form of medium length runway airport in ChineseLanguage
(termFormat ChineseTraditionalLanguage MediumLengthRunwayAirport "中長跑道機場") domainEnglishFormat.kif 36828-36828 "中長跑道機場" is the printable form of medium length runway airport in ChineseTraditionalLanguage
(termFormat EnglishLanguage MediumLengthRunwayAirport "medium length runway airport") domainEnglishFormat.kif 36827-36827 "medium length runway airport" is the printable form of medium length runway airport in english language

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


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