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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meter
Meter(仪表)

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


(documentation Meter ChineseLanguage "UnitOfLength 的国际单位制。符号:m。这是国际单位制中的一 个基本单位,而它现在的定义如下:Meter 是光在真空中在时距 1/ 299792458 SecondDuration 内所行经的 距离。") chinese_format.kif 2490-2492
(documentation Meter 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 6597-6600
(externalImage Meter "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg") pictureList.kif 1849-1849
(instance Meter SystemeInternationalUnit) Merge.kif 6595-6595 仪表国际单位制instance
(instance Meter UnitOfLength) Merge.kif 6594-6594 仪表UnitOfLengthinstance

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


(termFormat ChineseLanguage Meter "仪表") domainEnglishFormat.kif 37332-37332
(termFormat ChineseTraditionalLanguage Meter "儀表") domainEnglishFormat.kif 37331-37331
(termFormat EnglishLanguage Meter "meter") domainEnglishFormat.kif 37330-37330

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


(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))
Geography.kif 1321-1328
(=>
    (and
        (instance ?FOG Fogging)
        (eventLocated ?FOG ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (instance ?A Aerosal)
        (locatedAtTime ?A
            (WhenFn ?FOG) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?FOG)
            (MeasureFn ?VISIBILITY Meter)))
    (lessThan ?VISIBILITY 1000.0))
Weather.kif 2536-2549
(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn ?HZ Hertz))
        (wavelength ?R
            (MeasureFn ?L Meter)))
    (equal
        (MeasureFn ?L Meter)
        (MeasureFn
            (DivisionFn 299792458 ?HZ) Meter)))
ComputingBrands.kif 1538-1545
(=>
    (and
        (instance ?RR Railway)
        (property ?RR BroadGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (greaterThan ?WIDTH 1.44))
Transportation.kif 403-409
(=>
    (and
        (instance ?RR Railway)
        (property ?RR NarrowGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (lessThanOrEqualTo ?WIDTH 1.435))
Transportation.kif 453-458
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (greaterThanOrEqualTo ?WIDTH 1.435))
Transportation.kif 427-433
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (lessThanOrEqualTo ?WIDTH 1.44))
Transportation.kif 435-441
(=>
    (and
        (lengthOfCrudeOilPipeline ?AREA
            (MeasureFn ?AMOUNT1 Meter))
        (totalPipelineInArea ?AREA
            (MeasureFn ?AMOUNT2 Meter)))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
(=>
    (and
        (lengthOfNaturalGasPipeline ?AREA
            (MeasureFn ?AMOUNT1 Meter))
        (totalPipelineInArea ?AREA
            (MeasureFn ?AMOUNT2 Meter)))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
(=>
    (and
        (lengthOfPetroleumProductPipeline ?AREA
            (MeasureFn ?AMOUNT1 Meter))
        (totalPipelineInArea ?AREA
            (MeasureFn ?AMOUNT2 Meter)))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))
Transportation.kif 2660-2665
(=>
    (and
        (navigableForDraft ?WATERWAY
            (MeasureFn ?AMOUNT Meter))
        (ladenDraft ?SHIP
            (MeasureFn ?DRAFT Meter))
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))
Transportation.kif 2667-2672

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


(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 2438)
                (lessThanOrEqualTo ?LENGTH 3047)))))
Transportation.kif 1445-1457
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 1524)
                (lessThanOrEqualTo ?LENGTH 2437)))))
Transportation.kif 1426-1438
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 914)
                (lessThanOrEqualTo ?LENGTH 1523)))))
Transportation.kif 1407-1419
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryLongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (greaterThan ?LENGTH 3047))))
Transportation.kif 1464-1474
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (lessThan ?LENGTH 914))))
Transportation.kif 1391-1400
(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn ?HZ Hertz))
        (wavelength ?R
            (MeasureFn ?L Meter)))
    (equal
        (MeasureFn ?L Meter)
        (MeasureFn
            (DivisionFn 299792458 ?HZ) Meter)))
ComputingBrands.kif 1538-1545
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 Meter)))
Geography.kif 4663-4668
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))
Geography.kif 4728-4733
(=>
    (and
        (origin AntarcticCircumpolarCurrent ?START)
        (destination AntarcticCircumpolarCurrent ?FINISH))
    (distance ?START ?FINISH
        (MeasureFn 21000.0
            (KiloFn Meter))))
Geography.kif 4596-4602
(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))
Geography.kif 1330-1337
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3791-3797
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3816-3823
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852.0) Meter)))
Geography.kif 3807-3814
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Nanometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.000000001) Meter)))
Mid-level-ontology.kif 18434-18440
(=>
    (instance ?AAV AAV)
    (and
        (length ?AAV
            (MeasureFn 7.94 Meter))
        (width ?AAV
            (MeasureFn 3.27 Meter))
        (weight ?AAV
            (MeasureFn 22.8 TonMass))
        (height ?AAV
            (MeasureFn 3.26 Meter))
        (effectiveRange ?AAV
            (MeasureFn 480.0 Kilometer))))
MilitaryDevices.kif 1662-1674
(=>
    (instance ?AGM114 AGM114)
    (and
        (length ?AGM114
            (MeasureFn 1.63 Meter))
        (width ?AGM114
            (MeasureFn 0.71 Meter))
        (height ?AGM114
            (MeasureFn 0.71 Meter))
        (weight ?AGM114
            (MeasureFn 45.0 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8.0 Kilometer))))
MilitaryDevices.kif 1235-1247
(=>
    (instance ?AGM65 AGM65)
    (and
        (length ?AGM65
            (MeasureFn 2.55 Meter))
        (width ?AGM65
            (MeasureFn 0.7 Meter))
        (height ?AGM65
            (MeasureFn 0.7 Meter))
        (weight ?AGM65
            (MeasureFn 302.0 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27.0 Kilometer))))
MilitaryDevices.kif 1155-1167
(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634.0 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587.0 Kilometer))))
MilitaryDevices.kif 1900-1912
(=>
    (instance ?AIM9 AIM9)
    (and
        (length ?AIM9
            (MeasureFn 2.85 Meter))
        (width ?AIM9
            (MeasureFn 0.63 Meter))
        (height ?AIM9
            (MeasureFn 0.63 Meter))
        (weight ?AIM9
            (MeasureFn 91.0 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18.0 Kilometer))))
MilitaryDevices.kif 1189-1201
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
        (and
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))
WMD.kif 205-211
(=>
    (instance ?CH46D CH46D)
    (and
        (length ?CH46D
            (MeasureFn 25.72 Meter))
        (width ?CH46D
            (MeasureFn 15.54 Meter))
        (height ?CH46D
            (MeasureFn 5.1 Meter))
        (weight ?CH46D
            (MeasureFn 7047.0 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676.0 Kilometer))))
MilitaryDevices.kif 1860-1872
(=>
    (instance ?CH53E CH53E)
    (and
        (length ?CH53E
            (MeasureFn 30.2 Meter))
        (width ?CH53E
            (MeasureFn 24.1 Meter))
        (height ?CH53E
            (MeasureFn 8.46 Meter))
        (weight ?CH53E
            (MeasureFn 15071.0 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000.0 Kilometer))))
MilitaryDevices.kif 1788-1800
(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 13.7 Meter)))
Transportation.kif 900-902
(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700.0 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000.0 Kilometer))))
MilitaryDevices.kif 1744-1756
(=>
    (instance ?LAV LAV25)
    (and
        (length ?LAV
            (MeasureFn 6.39 Meter))
        (width ?LAV
            (MeasureFn 2.5 Meter))
        (height ?LAV
            (MeasureFn 2.69 Meter))
        (weight ?LAV
            (MeasureFn 12802.8 Kilogram))
        (effectiveRange ?LAV
            (MeasureFn 660.1 Kilometer))))
MilitaryDevices.kif 1542-1554

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(elevation
    (ElevationHighPointFn SouthernOcean)
    (MeasureFn 0.0 Meter))
Geography.kif 4582-4584 0.0 仪表南部海洋elevation 高点 的 elevation
(elevation
    (ElevationLowPointFn SouthernOcean)
    (MeasureFn -7235.0 Meter))
Geography.kif 4586-4588 -7235.0 仪表南部海洋elevation 低点 的 elevation
(elevation SeaLevel
    (MeasureFn 0.0 Meter))
Geography.kif 4725-4726 0.0 仪表海平面elevation
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 1852.0 Meter))
Geography.kif 3787-3789 1.0 海里 equal 1852.0 仪表
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))
Merge.kif 7077-7079 实数 equal 那个 实数 和 1.0E-10 仪表
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))
Merge.kif 6684-6686 实数 厘米 equal 那个 实数 和 0.01 仪表
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 7090-7092 实数 脚长 equal 那个 实数 和 0.3048 仪表
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 7097-7099 实数 英寸 equal 那个 实数 和 0.0254 仪表
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 6703-6706 实数 公里 equal 那个 实数 和 1000 仪表
(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))
Geography.kif 6785-6788 实数 微米 equal 那个 实数 和 0.0000001 仪表
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 7104-7106 实数 英里 equal 那个 实数 和 1609.344 仪表
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6693-6696 实数 毫米 equal 那个 实数 和 0.001 仪表
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 3895-3895 平方千米 equal 仪表 的一千倍 的 square 单位
(equal SquareMeter
    (SquareUnitFn Meter))
Geography.kif 3894-3894 平方米 equal 仪表square 单位
(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968.0
        (KiloFn Meter)))
Geography.kif 4570-4573 南部海洋南极洲shorelinelength 是 17968.0 仪表 的一千倍


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