ShortRunwayAirport - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__ShortRunwayAirport,s__EnglishLanguage,'"ShortRunwayAirport is a CIA category for Airports whose longest runway has a length between 914 meters and 1523 meters, inclusive."')

Transportation.kif 1392-1394

Transportation.kif 1391-1391

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__ShortRunwayAirport,'"短跑道机场"')	domainEnglishFormat.kif 52718-52718
s__termFormat(s__ChineseTraditionalLanguage,s__ShortRunwayAirport,'"短跑道機場"')	domainEnglishFormat.kif 52717-52717
s__termFormat(s__EnglishLanguage,s__ShortRunwayAirport,'"short runway airport"')	domainEnglishFormat.kif 52716-52716

antecedent

( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__ShortRunwayAirport))
     =>
     ( ? [V__RUNWAY, V__LENGTH] :
       ((s__instance(V__LENGTH,s__Quantity) &
           (s__instance(V__RUNWAY,s__Runway) &
             s__part(V__RUNWAY,V__AIRPORT)
           &
           s__length(V__RUNWAY,V__LENGTH)
         &
         (s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(n__914,s__Meter))
         |
         s__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(n__1523,s__Meter)))))))
)
)

Transportation.kif 1396-1407