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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MediumLengthRunwayAirport

Sigma KEE - MediumLengthRunwayAirport
MediumLengthRunwayAirport

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 1422-1424
(instance MediumLengthRunwayAirport CIAAirportLengthClassification) Transportation.kif 1421-1421

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


(termFormat ChineseLanguage MediumLengthRunwayAirport "中长跑道机场") domainEnglishFormat.kif 36905-36905
(termFormat ChineseTraditionalLanguage MediumLengthRunwayAirport "中長跑道機場") domainEnglishFormat.kif 36904-36904
(termFormat EnglishLanguage MediumLengthRunwayAirport "medium length runway airport") domainEnglishFormat.kif 36903-36903

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


(=>
    (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 1426-1438


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 is open source software produced by Articulate Software and its partners