( ! [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__HZ,V__R,V__L] :
((s__instance(V__HZ,s__UnitOfMeasure) &
s__instance(V__L,s__UnitOfMeasure))
=>
(s__instance(V__R,s__RadiatingElectromagnetic) &
s__carrierFrequency(V__R,s__MeasureFn(s__Hertz,V__HZ))
&
s__wavelength(V__R,s__MeasureFn(s__Meter,V__L)))
=>
(s__MeasureFn(s__Meter,V__L)
= s__MeasureFn(s__Meter,s__DivisionFn(n__299792458,V__HZ)))
)
)
|
ComputingBrands.kif 1548-1555 |
|
( ! [V__WIDTH,V__RR] :
(s__instance(V__WIDTH,s__LengthMeasure) =>
(s__instance(V__RR,s__Railway) &
s__property(V__RR,s__BroadGauge) &
s__trackWidth(V__RR,V__WIDTH))
=>
s__greaterThan(V__WIDTH,s__MeasureFn(n__1_44,s__Meter))
)
)
|
Transportation.kif 400-405 |
|
( ! [V__WIDTH,V__RR] :
(s__instance(V__WIDTH,s__LengthMeasure) =>
(s__instance(V__RR,s__Railway) &
s__property(V__RR,s__NarrowGauge) &
s__trackWidth(V__RR,V__WIDTH))
=>
s__lessThanOrEqualTo(V__WIDTH,s__MeasureFn(n__1_435,s__Meter))
)
)
|
Transportation.kif 447-452 |
|
( ! [V__WIDTH,V__RR] :
(s__instance(V__WIDTH,s__LengthMeasure) =>
(s__instance(V__RR,s__Railway) &
s__property(V__RR,s__StandardGauge) &
s__trackWidth(V__RR,V__WIDTH))
=>
s__greaterThanOrEqualTo(V__WIDTH,s__MeasureFn(n__1_435,s__Meter))
)
)
|
Transportation.kif 423-428 |
|
( ! [V__WIDTH,V__RR] :
(s__instance(V__WIDTH,s__LengthMeasure) =>
(s__instance(V__RR,s__Railway) &
s__property(V__RR,s__StandardGauge) &
s__trackWidth(V__RR,V__WIDTH))
=>
s__lessThanOrEqualTo(V__WIDTH,s__MeasureFn(n__1_44,s__Meter))
)
)
|
Transportation.kif 430-435 |
|
( ! [V__TOP,V__SEA] :
(s__instance(V__TOP,s__SelfConnectedObject) =>
(s__instance(V__SEA,s__Sea) &
s__top(V__TOP,V__SEA))
=>
s__altitude(V__TOP,s__SeaLevel,s__MeasureFn(n__0,s__Meter))
)
)
|
Geography.kif 4456-4460 |
|
( ! [V__ocean,V__top] :
(s__instance(V__top,s__SelfConnectedObject) =>
(s__instance(V__ocean,s__Ocean) &
s__surface(V__top,V__ocean))
=>
s__elevation(V__top,s__MeasureFn(n__0,s__Meter))
)
)
|
Geography.kif 4518-4522 |
|
( ! [V__FINISH,V__START] :
((s__instance(V__FINISH,s__Physical) &
s__instance(V__START,s__Object))
=>
(s__origin(s__AntarcticCircumpolarCurrent,V__START)
&
s__destination(s__AntarcticCircumpolarCurrent,V__FINISH))
=>
s__distance(V__START,V__FINISH,s__MeasureFn(n__21000,s__KiloFn(s__Meter)))
)
)
|
Geography.kif 4409-4413 |
|
( ! [V__AMOUNT,V__NUM] :
((s__instance(V__AMOUNT,s__PhysicalQuantity) &
s__instance(V__NUM,s__RealNumber))
=>
(V__AMOUNT = s__MeasureFn(V__NUM,s__NauticalMile))
=>
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1_852)
,s__KiloFn(s__Meter)))
)
)
|
Geography.kif 3699-3701 |
|
( ! [V__NUM] :
(s__instance(V__NUM,s__RealNumber) =>
(V__NUM = s__MultiplicationFn(n__1,V__NUM))
=>
(s__MeasureFn(V__NUM,s__NauticalMile) = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1_852)
,s__KiloFn(s__Meter)))
)
)
|
Geography.kif 3711-3713 |
|
( ! [V__NUM] :
(s__instance(V__NUM,s__RealNumber) =>
(V__NUM = s__MultiplicationFn(n__1,V__NUM))
=>
(s__MeasureFn(V__NUM,s__NauticalMile) = s__MeasureFn(s__MultiplicationFn(V__NUM,n__1852)
,s__Meter))
)
)
|
Geography.kif 3707-3709 |
|
( ! [V__NUMBER] :
(s__instance(V__NUMBER,s__RealNumber) =>
(V__NUMBER = s__MultiplicationFn(n__1,V__NUMBER))
=>
(s__MeasureFn(V__NUMBER,s__Nanometer) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__0_000000001)
,s__Meter))
)
)
|
Mid-level-ontology.kif 16869-16875 |
|
( ! [V__AAV] :
(s__instance(V__AAV,s__AAV) =>
(s__length(V__AAV,s__MeasureFn(n__7_94,s__Meter))
&
s__width(V__AAV,s__MeasureFn(n__3_27,s__Meter))
&
s__weight(V__AAV,s__MeasureFn(n__22_8,s__TonMass))
&
s__height(V__AAV,s__MeasureFn(n__3_26,s__Meter))
&
s__effectiveRange(V__AAV,s__MeasureFn(n__480,s__Kilometer)))
)
)
|
MilitaryDevices.kif 1662-1674 |
|
( ! [V__AGM114] :
(s__instance(V__AGM114,s__AGM114) =>
(s__length(V__AGM114,s__MeasureFn(n__1_63,s__Meter))
&
s__width(V__AGM114,s__MeasureFn(n__0_71,s__Meter))
&
s__height(V__AGM114,s__MeasureFn(n__0_71,s__Meter))
&
s__weight(V__AGM114,s__MeasureFn(n__45,s__Kilogram))
&
s__effectiveRange(V__AGM114,s__MeasureFn(n__8,s__Kilometer)))
)
)
|
MilitaryDevices.kif 1235-1247 |
|
( ! [V__AGM65] :
(s__instance(V__AGM65,s__AGM65) =>
(s__length(V__AGM65,s__MeasureFn(n__2_55,s__Meter))
&
s__width(V__AGM65,s__MeasureFn(n__0_7,s__Meter))
&
s__height(V__AGM65,s__MeasureFn(n__0_7,s__Meter))
&
s__weight(V__AGM65,s__MeasureFn(n__302,s__Kilogram))
&
s__effectiveRange(V__AGM65,s__MeasureFn(n__27,s__Kilometer)))
)
)
|
MilitaryDevices.kif 1155-1167 |
|
( ! [V__AH1] :
(s__instance(V__AH1,s__AH1) =>
(s__length(V__AH1,s__MeasureFn(n__17_68,s__Meter))
&
s__width(V__AH1,s__MeasureFn(n__14_63,s__Meter))
&
s__height(V__AH1,s__MeasureFn(n__4_44,s__Meter))
&
s__weight(V__AH1,s__MeasureFn(n__4634,s__Kilogram))
&
s__effectiveRange(V__AH1,s__MeasureFn(n__587,s__Kilometer)))
)
)
|
MilitaryDevices.kif 1900-1912 |
|
( ! [V__AIM9] :
(s__instance(V__AIM9,s__AIM9) =>
(s__length(V__AIM9,s__MeasureFn(n__2_85,s__Meter))
&
s__width(V__AIM9,s__MeasureFn(n__0_63,s__Meter))
&
s__height(V__AIM9,s__MeasureFn(n__0_63,s__Meter))
&
s__weight(V__AIM9,s__MeasureFn(n__91,s__Kilogram))
&
s__effectiveRange(V__AIM9,s__MeasureFn(n__18,s__Kilometer)))
)
)
|
MilitaryDevices.kif 1189-1201 |
|
( ! [V__AREA] :
(s__instance(V__AREA,s__WetTropicalClimateZone) =>
( ! [V__MO, V__AMOUNT] :
((s__instance(V__MO,s__Month) &
s__instance(V__AMOUNT,s__LengthMeasure))
=>
s__averageRainfallForPeriod(V__AREA,V__MO,V__AMOUNT)
=>
s__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(n__60,s__MilliFn(s__Meter)))))
)
)
|
Geography.kif 1309-1314 |
|
( ! [V__BACTERIUM] :
(s__instance(V__BACTERIUM,s__Bacterium) =>
( ? [V__NUMBER] :
((s__instance(V__NUMBER,s__RealNumber) &
(s__width(V__BACTERIUM,s__MeasureFn(V__NUMBER,s__Meter))
&
s__greaterThanOrEqualTo(V__NUMBER,n__0_000001)
&
s__lessThanOrEqualTo(V__NUMBER,n__0_000002)))))
)
)
|
WMD.kif 205-211 |
|
( ! [V__CH46D] :
(s__instance(V__CH46D,s__CH46D) =>
(s__length(V__CH46D,s__MeasureFn(n__25_72,s__Meter))
&
s__width(V__CH46D,s__MeasureFn(n__15_54,s__Meter))
&
s__height(V__CH46D,s__MeasureFn(n__5_1,s__Meter))
&
s__weight(V__CH46D,s__MeasureFn(n__7047,s__Kilogram))
&
s__effectiveRange(V__CH46D,s__MeasureFn(n__676,s__Kilometer)))
)
)
|
MilitaryDevices.kif 1860-1872 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
