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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Airport

Sigma KEE - Airport
Airport(airport)
aerodrome, air_terminal, airdrome, airfield, airport, airport_terminal, airstrip, drome, field, flight_strip, flying_field, landing_field, landing_strip, strip

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


s__documentation(s__Airport,s__EnglishLanguage,'Airport is the subclass of TransitTerminals for Airplanes (fixed-wing Aircraft).')

Transportation.kif 1242-1243
s__externalImage(s__Airport,'http://upload.wikimedia.org/wikipedia/commons/4/ 4e/ Flughafen_Frankfurt_am_Main.JPG')

pictureList.kif 1628-1628 "http://upload.wikimedia.org/wikipedia/commons/4/4e/ Flughafen_Frankfurt_am_Main.JPG" is a URL depicting airport
s__externalImage(s__Airport,'http://upload.wikimedia.org/wikipedia/commons/9/ 90/ HFX_Airport_4.jpg')

pictureList.kif 2082-2082 "http://upload.wikimedia.org/wikipedia/commons/9/90/ HFX_Airport_4.jpg" is a URL depicting airport
s__externalImage(s__Airport,'http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0f/ Airport_overhead.jpg/ 180px-Airport_overhead.jpg')

pictureList.kif 1023-1023 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0f/ Airport_overhead.jpg/ 180px-Airport_overhead.jpg" is a URL depicting airport
s__subclass(s__Airport,s__AirTransitway)

s__instance(s__Airport,s__SetOrClass)

s__instance(s__AirTransitway,s__SetOrClass)

Transportation.kif 1240-1240 Airport is a subclass of air transitway
s__subclass(s__Airport,s__LandTransitway)

s__instance(s__Airport,s__SetOrClass)

s__instance(s__LandTransitway,s__SetOrClass)

Transportation.kif 1241-1241 Airport is a subclass of land transitway
s__subclass(s__Airport,s__TransitTerminal)

s__instance(s__TransitTerminal,s__SetOrClass)

s__instance(s__Airport,s__SetOrClass)

Transportation.kif 1239-1239 Airport is a subclass of transit terminal

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


s__termFormat(s__EnglishLanguage,s__Airport,'airport')

domainEnglishFormat.kif 1471-1471 "airport" is the printable form of airport in english language

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


( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__AirportWithPavedRunway))
    s__=>(s__exists__m[V__RUNWAY]
       (s__instance(V__RUNWAY,s__PavedRunway)s__and__ms__part(V__RUNWAY,V__AIRPORT))))
)

Transportation.kif 1331-1338
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__AirportWithUnpavedRunway))
    s__=>(s__exists__m[V__RUNWAY]
       (s__instance(V__RUNWAY,s__UnpavedRunway)s__and__ms__part(V__RUNWAY,V__AIRPORT))))
)

Transportation.kif 1345-1352
( ∀ [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
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
    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(1524,s__Meter))
  s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(2437,s__Meter)))))))
)

Transportation.kif 1399-1410
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__ShortRunwayAirport))
    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(914,s__Meter))
  s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(1523,s__Meter)))))))
)

Transportation.kif 1381-1392
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__VeryLongRunwayAirport))
    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__ms__greaterThan(V__LENGTH,s__MeasureFn(3047,s__Meter))))))
)

Transportation.kif 1435-1444
( ∀ [V__AIRPORT]
   ((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__VeryShortRunwayAirport))
    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__ms__lessThan(V__LENGTH,s__MeasureFn(914,s__Meter))))))
)

Transportation.kif 1365-1374
( ∀ [V__AIRPORT]
   (s__instance(V__AIRPORT,s__Airport)s__=>s__trafficableForTrafficType(V__AIRPORT,s__Airplane))
   )

Transportation.kif 2565-2567

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1251-1261 A geographic area total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string
( ∀ [V__COUNT,V__AREA]
   ((s__instance(V__COUNT,s__NonnegativeInteger)s__and__ms__instance(V__AREA,s__GeographicArea))
    s__=>((s__totalFacilityTypeInArea(V__AREA,s__ExtensionFn(s__AirportWithUnpavedRunway),V__COUNT)
      s__and__ms__greaterThan(V__COUNT,0))
  s__=>(s__exists__m[V__AIRPORT,V__RUNWAY]
     (s__instance(V__AIRPORT,s__Airport)s__and__ms__instance(V__RUNWAY,s__UnpavedRunway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
    s__and__ms__located(V__AIRPORT,V__AREA)))))
)

Transportation.kif 1452-1461
( ∀ [V__SVC]
   (s__instance(V__SVC,s__AirportShuttleService)s__=>(s__exists__m[V__AIRPORT,V__TRANSPORT]
       (s__instance(V__AIRPORT,s__Airport)s__and__ms__instance(V__TRANSPORT,s__Transportation)s__and__m(s__destination(V__TRANSPORT,V__AIRPORT)
      s__or__ms__origin(V__TRANSPORT,V__AIRPORT)))))
)

Hotel.kif 2015-2023
( ∀ [V__COUNT,V__AREA]
   ((s__instance(V__COUNT,s__NonnegativeInteger)s__and__ms__instance(V__AREA,s__GeographicArea))
    s__=>(s__totalFacilityTypeInArea(V__AREA,s__ExtensionFn(s__AirportWithPavedRunway),V__COUNT)
    s__=>(s__exists__m[V__AIRPORT,V__RUNWAY]
       (s__instance(V__AIRPORT,s__Airport)s__and__ms__instance(V__RUNWAY,s__PavedRunway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
      s__and__ms__located(V__AIRPORT,V__AREA)))))
)

Transportation.kif 1263-1270


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