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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1257-1258
s__externalImage(s__Airport,'"http://upload.wikimedia.org/wikipedia/commons/4/ 4e/ Flughafen_Frankfurt_am_Main.JPG"')

pictureList.kif 1628-1628
s__externalImage(s__Airport,'"http://upload.wikimedia.org/wikipedia/commons/9/ 90/ HFX_Airport_4.jpg"')

pictureList.kif 2082-2082
s__externalImage(s__Airport,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0f/ Airport_overhead.jpg/ 180px-Airport_overhead.jpg"')

pictureList.kif 1023-1023
s__subclass(s__Airport,s__AirTransitway)

s__instance(s__Airport,s__SetOrClass)

s__instance(s__AirTransitway,s__SetOrClass)

Transportation.kif 1255-1255 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 1256-1256 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 1254-1254 Airport is a subclass of transit terminal

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


s__termFormat(s__ChineseLanguage,s__Airport,'"飞机场"')

domainEnglishFormat.kif 6229-6229
s__termFormat(s__ChineseTraditionalLanguage,s__Airport,'"飛機場"')

domainEnglishFormat.kif 6228-6228
s__termFormat(s__EnglishLanguage,s__Airport,'"airport"')

domainEnglishFormat.kif 6227-6227

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


( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__AirportWithPavedRunway))
     =>
     ( ? [V__RUNWAY] :
       ((s__instance(V__RUNWAY,s__PavedRunway) &
           s__part(V__RUNWAY,V__AIRPORT))))
   )
)

Transportation.kif 1346-1353
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__AirportWithUnpavedRunway))
     =>
     ( ? [V__RUNWAY] :
       ((s__instance(V__RUNWAY,s__UnpavedRunway) &
           s__part(V__RUNWAY,V__AIRPORT))))
   )
)

Transportation.kif 1360-1367
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__LongRunwayAirport))
     =>
     ( ? [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__2438,s__Meter))
         |
         s__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(n__3047,s__Meter)))))))
)
)

Transportation.kif 1432-1443
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
     =>
     ( ? [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__1524,s__Meter))
         |
         s__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(n__2437,s__Meter)))))))
)
)

Transportation.kif 1414-1425
( ! [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
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__VeryLongRunwayAirport))
     =>
     ( ? [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__greaterThan(V__LENGTH,s__MeasureFn(n__3047,s__Meter))))))
)
)

Transportation.kif 1450-1459
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__VeryShortRunwayAirport))
     =>
     ( ? [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__lessThan(V__LENGTH,s__MeasureFn(n__914,s__Meter))))))
)
)

Transportation.kif 1380-1389
( ! [V__AIRPORT] :
   (s__instance(V__AIRPORT,s__Airport) =>
     s__trafficableForTrafficType(V__AIRPORT,s__Airplane) )
   )

Transportation.kif 2602-2604

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1266-1276 A geographic area is 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__instance(V__AREA,s__GeographicArea))
     =>
     (s__totalFacilityTypeInArea(V__AREA,s__ExtensionFn(s__AirportWithUnpavedRunway),V__COUNT)
     &
     s__greaterThan(V__COUNT,n__0))
=>
( ? [V__AIRPORT, V__RUNWAY] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__instance(V__RUNWAY,s__UnpavedRunway) &
       s__part(V__RUNWAY,V__AIRPORT)
     &
     s__located(V__AIRPORT,V__AREA))))
)
)

Transportation.kif 1467-1476
( ! [V__SVC] :
   (s__instance(V__SVC,s__AirportShuttleService) =>
     ( ? [V__AIRPORT, V__TRANSPORT] :
       ((s__instance(V__AIRPORT,s__Airport) &
           s__subProcess(V__TRANSPORT,V__SVC)
         &
         s__instance(V__TRANSPORT,s__Transportation) &
         (s__destination(V__TRANSPORT,V__AIRPORT)
         |
         s__origin(V__TRANSPORT,V__AIRPORT)))))
)
)

Hotel.kif 2019-2028
( ! [V__COUNT,V__AREA] :
   ((s__instance(V__COUNT,s__NonnegativeInteger) &
       s__instance(V__AREA,s__GeographicArea))
     =>
     s__totalFacilityTypeInArea(V__AREA,s__ExtensionFn(s__AirportWithPavedRunway),V__COUNT)
   =>
   ( ? [V__AIRPORT, V__RUNWAY] :
     ((s__instance(V__AIRPORT,s__Airport) &
         s__instance(V__RUNWAY,s__PavedRunway) &
         s__part(V__RUNWAY,V__AIRPORT)
       &
       s__located(V__AIRPORT,V__AREA))))
)
)

Transportation.kif 1278-1285


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners