MediumLengthRunwayAirport - Sigma Knowledge base Browser

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 1551-1553
(instance MediumLengthRunwayAirport CIAAirportLengthClassification)	Transportation.kif 1550-1550	Medium length runway airport is an instance of CIA airport length classification

appearance as argument number 2

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

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 1555-1567

If an object is an instance of airport and medium length runway airport is an attribute of the object,
then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 1524 or the real number is less than or equal to 2437

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

KB Term:			Term intersection

English Word: