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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LongRunwayAirport

Sigma KEE - LongRunwayAirport
LongRunwayAirport(long runway airport)long_runway_airport

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


s__documentation(s__LongRunwayAirport,s__EnglishLanguage,'LongRunwayAirport is a CIA category for Airports whose longest runway has a length between 2,438 meters and 3,047 meters, inclusive.')

Transportation.kif 1413-1415
s__instance(s__LongRunwayAirport,s__CIAAirportLengthClassification)

s__instance(s__CIAAirportLengthClassification,s__SetOrClass)

Transportation.kif 1412-1412 Long runway airport is an instance of CIA airport length classification

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


s__termFormat(s__EnglishLanguage,s__LongRunwayAirport,'long runway airport')

domainEnglishFormat.kif 6252-6252 "long runway airport" is the printable form of long runway airport in english language

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


( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__LongRunwayAirport))
    s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
       (s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
      s__and__ms__length(V__RUNWAY,V__LENGTH)
    s__and__m(s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(2438,s__Meter))
  s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(3047,s__Meter)))))))
)

Transportation.kif 1417-1428


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