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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Runway
Runway(runway)runway

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


s__documentation(s__Runway,s__EnglishLanguage,'"Runway is the class of Transitways that are used for the takeoff and landing of Airplanes. Runways are Transitways for an intermodal transit, which begins with a land transit and ends with air transit, or vice versa. The Airspace immediately above (and adjacent to) a Runway is an AirTransitway."')

Transportation.kif 1288-1292
s__instance(s__Runway,s__SetOrClass)

s__subclass(s__Runway,s__LandTransitway)

s__instance(s__LandTransitway,s__SetOrClass)

Transportation.kif 1287-1287 Runway is a subclass of land transitway

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


s__instance(s__Runway,s__SetOrClass)

s__subclass(s__PavedRunway,s__Runway)

s__instance(s__PavedRunway,s__SetOrClass)

Transportation.kif 1301-1301 Paved runway is a subclass of runway
s__instance(s__Runway,s__SetOrClass)

s__instance(s__UnpavedRunway,s__SetOrClass)

s__subclass(s__UnpavedRunway,s__Runway)

Transportation.kif 1478-1478 Unpaved runway is a subclass of runway
s__termFormat(s__ChineseLanguage,s__Runway,'"跑道"')

domainEnglishFormat.kif 50528-50528
s__termFormat(s__ChineseTraditionalLanguage,s__Runway,'"跑道"')

domainEnglishFormat.kif 50527-50527
s__termFormat(s__EnglishLanguage,s__Runway,'"runway"')

domainEnglishFormat.kif 50526-50526

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


( ! [V__SURFACE,V__RUNWAY] :
   ((s__instance(V__RUNWAY,s__Runway) &
       s__surface(V__SURFACE,V__RUNWAY)
     &
     s__instance(V__SURFACE,s__Asphalt))
   =>
   s__instance(V__RUNWAY,s__PavedRunway) )
)

Transportation.kif 1313-1318
( ! [V__SURFACE,V__RUNWAY] :
   ((s__instance(V__RUNWAY,s__Runway) &
       s__surface(V__SURFACE,V__RUNWAY)
     &
     s__instance(V__SURFACE,s__Concrete))
   =>
   s__instance(V__RUNWAY,s__PavedRunway) )
)

Transportation.kif 1320-1325
( ! [V__RUNWAY] :
   (s__instance(V__RUNWAY,s__Runway) =>
     ( ? [V__LENGTH] :
       ((s__instance(V__LENGTH,s__LengthMeasure) &
           s__length(V__RUNWAY,V__LENGTH))))
   )
)

Transportation.kif 1294-1299

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


( ! [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


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