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 6485-6488
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__Class)

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

s__instance(s__Meter,s__UnitOfLength)

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

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


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

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

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

domainEnglishFormat.kif 37330-37330

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


( ! [V__AREA] :
   (((s__instance(V__AREA,s__TropicalClimateZone) &
         ( ! [V__MO, V__AMOUNT] :
           (((s__instance(V__MO,s__Month) &
                 s__instance(V__AMOUNT,s__RealNumber))
               =>
               ((s__averageRainfallForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__MilliFn(s__Meter)))
               =>
               (s__greaterThanOrEqualTo(V__AMOUNT,n__60))))))))
=>
(s__instance(V__AREA,s__WetTropicalClimateZone)))
)
)

Geography.kif 1306-1314
( ! [V__FOG,V__A,V__AIR,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__GeographicArea) &
           s__instance(V__AIR,s__AtmosphericRegion) &
           s__orientation(V__AIR,V__AREA,s__Above) &
           s__instance(V__A,s__Aerosal) &
           s__locatedAtTime(V__A,s__WhenFn(V__FOG)
        ,V__AIR)
       &
       s__visibilityInMeteorology(V__AREA,s__WhenFn(V__FOG)
    ,s__MeasureFn(V__VISIBILITY,s__Meter)))
=>
(s__lessThan(V__VISIBILITY,n__1000)))))
)
)

Weather.kif 2530-2543
( ! [V__HZ,V__R,V__L] :
   (((s__instance(V__HZ,s__UnitOfMeasure) &
         s__instance(V__HZ,s__Number) &
         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 1539-1546
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__BroadGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__greaterThan(V__WIDTH,n__1_44)))))
)
)

Transportation.kif 403-409
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__NarrowGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__1_435)))))
)
)

Transportation.kif 453-458
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__StandardGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__greaterThanOrEqualTo(V__WIDTH,n__1_435)))))
)
)

Transportation.kif 427-433
( ! [V__WIDTH,V__RR] :
   ((s__instance(V__WIDTH,s__RealNumber) =>
       (((s__instance(V__RR,s__Railway) &
             s__property(V__RR,s__StandardGauge) &
             s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
         =>
         (s__lessThanOrEqualTo(V__WIDTH,n__1_44)))))
)
)

Transportation.kif 435-441
( ! [V__AREA,V__AMOUNT2,V__AMOUNT1] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__AMOUNT2,s__RealNumber) &
         s__instance(V__AMOUNT1,s__RealNumber))
       =>
       (((s__lengthOfCrudeOilPipeline(V__AREA,s__MeasureFn(V__AMOUNT1,s__Meter))
           &
           s__totalPipelineInArea(V__AREA,s__MeasureFn(V__AMOUNT2,s__Meter)))
       =>
       (s__lessThanOrEqualTo(V__AMOUNT1,V__AMOUNT2)))))
)
)

Transportation.kif 721-725
( ! [V__AREA,V__AMOUNT2,V__AMOUNT1] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__AMOUNT2,s__RealNumber) &
         s__instance(V__AMOUNT1,s__RealNumber))
       =>
       (((s__lengthOfNaturalGasPipeline(V__AREA,s__MeasureFn(V__AMOUNT1,s__Meter))
           &
           s__totalPipelineInArea(V__AREA,s__MeasureFn(V__AMOUNT2,s__Meter)))
       =>
       (s__lessThanOrEqualTo(V__AMOUNT1,V__AMOUNT2)))))
)
)

Transportation.kif 744-748
( ! [V__AREA,V__AMOUNT2,V__AMOUNT1] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__AMOUNT2,s__RealNumber) &
         s__instance(V__AMOUNT1,s__RealNumber))
       =>
       (((s__lengthOfPetroleumProductPipeline(V__AREA,s__MeasureFn(V__AMOUNT1,s__Meter))
           &
           s__totalPipelineInArea(V__AREA,s__MeasureFn(V__AMOUNT2,s__Meter)))
       =>
       (s__lessThanOrEqualTo(V__AMOUNT1,V__AMOUNT2)))))
)
)

Transportation.kif 767-771
( ! [V__AMOUNT,V__SHIP,V__DRAFT,V__WATERWAY] :
   (((s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__SHIP,s__WaterVehicle) &
         s__instance(V__DRAFT,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea))
       =>
       (((s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__AMOUNT,s__Meter))
           &
           s__ladenDraft(V__SHIP,s__MeasureFn(V__DRAFT,s__Meter))
         &
         s__greaterThan(V__AMOUNT,V__DRAFT))
     =>
     (s__capability(s__TripFn(V__SHIP)
    ,s__path__m,V__WATERWAY)))))
)
)

Transportation.kif 2660-2665
( ! [V__AMOUNT,V__SHIP,V__DRAFT,V__WATERWAY] :
   (((s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__SHIP,s__WaterVehicle) &
         s__instance(V__DRAFT,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea))
       =>
       (((s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__AMOUNT,s__Meter))
           &
           s__ladenDraft(V__SHIP,s__MeasureFn(V__DRAFT,s__Meter))
         &
         s__lessThanOrEqualTo(V__AMOUNT,V__DRAFT))
     =>
     (~(s__capability(s__TripFn(V__SHIP)
      ,s__path__m,V__WATERWAY))))))
)
)

Transportation.kif 2667-2672

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


( ! [V__AIRPORT] :
   (((s__instance(V__AIRPORT,s__Airport) &
         s__attribute(V__AIRPORT,s__LongRunwayAirport))
       =>
       (( ? [V__RUNWAY, V__LENGTH] :
           ((s__instance(V__LENGTH,s__RealNumber) &
               (s__instance(V__RUNWAY,s__Runway) &
                 s__part(V__RUNWAY,V__AIRPORT)
               &
               s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
             &
             (s__greaterThanOrEqualTo(V__LENGTH,n__2438)
             |
             s__lessThanOrEqualTo(V__LENGTH,n__3047))))))))
)
)

Transportation.kif 1445-1457
( ! [V__AIRPORT] :
   (((s__instance(V__AIRPORT,s__Airport) &
         s__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
       =>
       (( ? [V__RUNWAY, V__LENGTH] :
           ((s__instance(V__LENGTH,s__RealNumber) &
               (s__instance(V__RUNWAY,s__Runway) &
                 s__part(V__RUNWAY,V__AIRPORT)
               &
               s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
             &
             (s__greaterThanOrEqualTo(V__LENGTH,n__1524)
             |
             s__lessThanOrEqualTo(V__LENGTH,n__2437))))))))
)
)

Transportation.kif 1426-1438
( ! [V__AIRPORT] :
   (((s__instance(V__AIRPORT,s__Airport) &
         s__attribute(V__AIRPORT,s__ShortRunwayAirport))
       =>
       (( ? [V__RUNWAY, V__LENGTH] :
           ((s__instance(V__LENGTH,s__RealNumber) &
               (s__instance(V__RUNWAY,s__Runway) &
                 s__part(V__RUNWAY,V__AIRPORT)
               &
               s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
             &
             (s__greaterThanOrEqualTo(V__LENGTH,n__914)
             |
             s__lessThanOrEqualTo(V__LENGTH,n__1523))))))))
)
)

Transportation.kif 1407-1419
( ! [V__AIRPORT] :
   (((s__instance(V__AIRPORT,s__Airport) &
         s__attribute(V__AIRPORT,s__VeryLongRunwayAirport))
       =>
       (( ? [V__RUNWAY, V__LENGTH] :
           ((s__instance(V__LENGTH,s__RealNumber) &
               (s__instance(V__RUNWAY,s__Runway) &
                 s__part(V__RUNWAY,V__AIRPORT)
               &
               s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
             &
             s__greaterThan(V__LENGTH,n__3047)))))))
)
)

Transportation.kif 1464-1474
( ! [V__AIRPORT] :
   (((s__instance(V__AIRPORT,s__Airport) &
         s__attribute(V__AIRPORT,s__VeryShortRunwayAirport))
       =>
       (( ? [V__RUNWAY, V__LENGTH] :
           ((s__instance(V__LENGTH,s__RealNumber) &
               (s__instance(V__RUNWAY,s__Runway) &
                 s__part(V__RUNWAY,V__AIRPORT)
               &
               s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
             &
             s__lessThan(V__LENGTH,n__914)))))))
)
)

Transportation.kif 1391-1400
( ! [V__HZ,V__R,V__L] :
   (((s__instance(V__HZ,s__UnitOfMeasure) &
         s__instance(V__HZ,s__Number) &
         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 1539-1546
( ! [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 4556-4560
( ! [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 4618-4622
( ! [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 4494-4498
( ! [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 3742-3744
( ! [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 3754-3756
( ! [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 3750-3752
( ! [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 18289-18295
( ! [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__RealNumber))
               =>
               ((s__averageRainfallForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__MilliFn(s__Meter)))
               =>
               (s__greaterThanOrEqualTo(V__AMOUNT,n__60)))))))))
)
)

Geography.kif 1316-1322
( ! [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
( ! [V__CH53E] :
   ((s__instance(V__CH53E,s__CH53E) =>
       ((s__length(V__CH53E,s__MeasureFn(n__30_2,s__Meter))
         &
         s__width(V__CH53E,s__MeasureFn(n__24_1,s__Meter))
       &
       s__height(V__CH53E,s__MeasureFn(n__8_46,s__Meter))
     &
     s__weight(V__CH53E,s__MeasureFn(n__15071,s__Kilogram))
   &
   s__effectiveRange(V__CH53E,s__MeasureFn(n__2000,s__Kilometer)))))
)
)

MilitaryDevices.kif 1788-1800
( ! [V__HARBOR] :
   ((s__instance(V__HARBOR,s__DeepDraftHarbor) =>
       (s__navigableForDraft(V__HARBOR,s__MeasureFn(n__13_7,s__Meter))))
   )
)

Transportation.kif 900-902
( ! [V__Harrier] :
   ((s__instance(V__Harrier,s__Harrier2) =>
       ((s__length(V__Harrier,s__MeasureFn(n__14_1,s__Meter))
         &
         s__width(V__Harrier,s__MeasureFn(n__9_2,s__Meter))
       &
       s__height(V__Harrier,s__MeasureFn(n__3_5,s__Meter))
     &
     s__weight(V__Harrier,s__MeasureFn(n__5700,s__Kilogram))
   &
   s__effectiveRange(V__Harrier,s__MeasureFn(n__1000,s__Kilometer)))))
)
)

MilitaryDevices.kif 1744-1756
( ! [V__LAV] :
   ((s__instance(V__LAV,s__LAV25) =>
       ((s__length(V__LAV,s__MeasureFn(n__6_39,s__Meter))
         &
         s__width(V__LAV,s__MeasureFn(n__2_5,s__Meter))
       &
       s__height(V__LAV,s__MeasureFn(n__2_69,s__Meter))
     &
     s__weight(V__LAV,s__MeasureFn(n__12802_8,s__Kilogram))
   &
   s__effectiveRange(V__LAV,s__MeasureFn(n__660_1,s__Kilometer)))))
)
)

MilitaryDevices.kif 1542-1554

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 4485-4485 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 4486-4486 -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 4616-4616 0 Meter(s) is an elevation of sea level
(s__MeasureFn(n__1,s__NauticalMile) = s__MeasureFn(n__1852,s__Meter))

Geography.kif 3740-3740 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 3792-3793 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 6961-6963 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 6572-6574 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 6974-6976 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 6981-6983 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 6591-6594 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 6627-6630 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 6988-6990 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 6581-6584 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 3811-3811 Square kilometer is equal to the square unit of 1 thousand meters
(s__SquareMeter = s__SquareUnitFn(s__Meter))

Geography.kif 3810-3810 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 4478-4478 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 3.0 is open source software produced by Articulate Software and its partners