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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meter
Meter(meter)
m, meter, metre

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


s__documentation(s__Meter,s__ChineseLanguage,'"UnitOfLength 的国际单位制。符号:m。这是国际单位制中的一 个基本单位,而它现在的定义如下:Meter 是光在真空中在时距 1/ 299792458 SecondDuration 内所行经的 距离。"')

chinese_format.kif 2490-2492
s__documentation(s__Meter,s__EnglishLanguage,'"SI UnitOfLength. Symbol: m. It is one of the base units in SI, and it is currently defined as follows: the Meter is the length of the path traveled by light in a vacuum during a time interval of 1/ 299792458 of a SecondDuration."')

Merge.kif 6363-6366
s__externalImage(s__Meter,'"http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg"')

pictureList.kif 1849-1849
s__instance(s__Meter,s__SystemeInternationalUnit)

s__instance(s__SystemeInternationalUnit,s__SetOrClass)

Merge.kif 6361-6361 Meter is an instance of systeme international unit
s__instance(s__UnitOfLength,s__SetOrClass)

s__instance(s__Meter,s__UnitOfLength)

Merge.kif 6360-6360 Meter is an instance of UnitOfLength

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


s__termFormat(s__ChineseLanguage,s__Meter,'"仪表"')

domainEnglishFormat.kif 37243-37243
s__termFormat(s__ChineseTraditionalLanguage,s__Meter,'"儀表"')

domainEnglishFormat.kif 37242-37242
s__termFormat(s__EnglishLanguage,s__Meter,'"meter"')

domainEnglishFormat.kif 37241-37241

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


( ! [V__AREA] :
   ((s__instance(V__AREA,s__TropicalClimateZone) &
       ( ! [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))))))
=>
s__instance(V__AREA,s__WetTropicalClimateZone) )
)

Geography.kif 1300-1307
( ! [V__FOG,V__A,V__VISIBILITY,V__AREA] :
   (s__instance(V__VISIBILITY,s__RealNumber) =>
     (s__instance(V__FOG,s__Fogging) &
       s__eventLocated(V__FOG,V__AREA)
     &
     s__instance(V__AREA,s__AtmosphericRegion) &
     s__instance(V__A,s__Aerosal) &
     s__locatedAtTime(V__A,s__WhenFn(V__FOG)
  ,V__AREA)
&
s__visibilityInMeteorology(V__AREA,s__WhenFn(V__FOG)
,s__MeasureFn(V__VISIBILITY,s__Meter)))
=>
s__lessThan(V__VISIBILITY,n__1000)
)
)

Weather.kif 1059-1070
( ! [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

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

statement
-------------------------


s__elevation(s__ElevationHighPointFn(s__SouthernOcean),s__MeasureFn(n__0,s__Meter))

Geography.kif 4400-4400 0 Meter(s) is an elevation of the elevation high point of southern ocean
s__elevation(s__ElevationLowPointFn(s__SouthernOcean),s__MeasureFn(n___7235,s__Meter))

Geography.kif 4401-4401 -7235 Meter(s) is an elevation of the elevation low point of southern ocean
s__elevation(s__SeaLevel,s__MeasureFn(n__0,s__Meter))

Geography.kif 4516-4516 0 Meter(s) is an elevation of sea level
(s__MeasureFn(n__1,s__NauticalMile) = s__MeasureFn(n__1852,s__Meter))

Geography.kif 3697-3697 1 Nautical mile(s) is equal to 1852 meter(s)
(s__MeasureFn(n__1,s__SquareKilometer) = s__MultiplicationFn(s__MeasureFn(n__1,s__KiloFn(s__Meter))
,s__MeasureFn(n__1,s__KiloFn(s__Meter))))

Geography.kif 624-625 1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
(s__MeasureFn(n__1,s__SquareMeter) = s__MultiplicationFn(s__MeasureFn(n__1,s__Meter),s__MeasureFn(n__1,s__Meter)))

Geography.kif 3749-3750 1 Square meter(s) is equal to 1 meter(s) and 1 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__Angstrom) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__1_0E_10)
    ,s__Meter))
   )
)

Merge.kif 6836-6838 A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__Centimeter) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__0_01)
    ,s__Meter))
   )
)

Merge.kif 6449-6451 A real number centimeter(s) is equal to the real number and 0.01 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__FootLength) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__0_3048)
    ,s__Meter))
   )
)

Merge.kif 6849-6851 A real number foot length(s) is equal to the real number and 0.3048 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__Inch) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__0_0254)
    ,s__Meter))
   )
)

Merge.kif 6856-6858 A real number inch(s) is equal to the real number and 0.0254 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__Kilometer) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__1000)
    ,s__Meter))
   )
)

Merge.kif 6468-6471 A real number kilometer(s) is equal to the real number and 1000 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__Micrometer) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__0_0000001)
    ,s__Meter))
   )
)

Geography.kif 6435-6438 A real number micrometer(s) is equal to the real number and 0.0000001 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__Mile) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__1609_344)
    ,s__Meter))
   )
)

Merge.kif 6863-6865 A real number mile(s) is equal to the real number and 1609.344 meter(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__Millimeter) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__0_001)
    ,s__Meter))
   )
)

Merge.kif 6458-6461 A real number millimeter(s) is equal to the real number and 0.001 meter(s)
(s__SquareKilometer = s__SquareUnitFn(s__KiloFn(s__Meter)))

Geography.kif 3768-3768 Square kilometer is equal to the square unit of 1 thousand meters
(s__SquareMeter = s__SquareUnitFn(s__Meter))

Geography.kif 3767-3767 Square meter is equal to the square unit of meter
s__length(s__ShorelineFn(s__SouthernOcean,s__Antarctica),s__MeasureFn(n__17968,s__KiloFn(s__Meter)))

Geography.kif 4393-4393 The length of the shoreline of southern ocean and antarctica is 17968 1 thousand meters(s)


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