Browsing Interface
Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

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

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


(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 second duration.") Merge.kif 5382-5385
(externalImage Meter "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg") pictureList.kif 1848-1848 externalImage meter and "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg"
(instance Meter SystemeInternationalUnit) Merge.kif 5381-5381 Meter is an instance of systeme international unit
(instance Meter UnitOfLength) Merge.kif 5380-5380 Meter is an instance of UnitOfLength
(subclass Meter AltitudeMeasure) MilitaryDevices.kif 1504-1504 Meter is a subclass of altitude measure

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


(termFormat EnglishLanguage Meter "meter") domainEnglishFormat.kif 6020-6020 term format english language, meter and "meter"

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


(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (forall (?MO ?AMOUNT)
            (=>
                (averageRainfallForPeriod ?AREA ?MO ?AMOUNT)
                (greaterThanOrEqualTo ?AMOUNT
                    (MeasureFn 60
                        (MilliFn Meter))))))
    (instance ?AREA WetTropicalClimateZone))
Geography.kif 1257-1264

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


(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 2438 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 3047 Meter))))))
Transportation.kif 1596-1607
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 1524 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 2437 Meter))))))
Transportation.kif 1577-1588
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 914 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 1523 Meter))))))
Transportation.kif 1558-1569
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryLongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (greaterThan ?LENGTH
                (MeasureFn 3047 Meter)))))
Transportation.kif 1615-1624
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (lessThan ?LENGTH
                (MeasureFn 914 Meter)))))
Transportation.kif 1541-1550
(=>
    (and
        (instance ?RR Railway)
        (property ?RR BroadGauge)
        (trackWidth ?RR ?WIDTH))
    (greaterThan ?WIDTH
        (MeasureFn 1.44 Meter)))
Transportation.kif 377-382
(=>
    (and
        (instance ?RR Railway)
        (property ?RR NarrowGauge)
        (trackWidth ?RR ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 1.435 Meter)))
Transportation.kif 418-423
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR ?WIDTH))
    (greaterThanOrEqualTo ?WIDTH
        (MeasureFn 1.435 Meter)))
Transportation.kif 397-402
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 1.44 Meter)))
Transportation.kif 404-409
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))
Geography.kif 4351-4355
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 Meter)))
Geography.kif 4413-4417
(=>
    (and
        (origin AntarcticCircumpolarCurrent ?START)
        (destination AntarcticCircumpolarCurrent ?FINISH))
    (distance ?START ?FINISH
        (MeasureFn 21000
            (KiloFn Meter))))
Geography.kif 4305-4309
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3622-3624
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3634-3636
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852) Meter)))
Geography.kif 3630-3632
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Angstrom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 1.0E-10) Meter)))
Merge.kif 5857-5861
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Centimeter)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.01) Meter)))
Merge.kif 5460-5464
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER FootLength)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.3048) Meter)))
Merge.kif 5872-5876
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Inch)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.0254) Meter)))
Merge.kif 5881-5885
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Kilometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 1000) Meter)))
Merge.kif 5481-5486
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Mile)
        (MeasureFn
            (MultiplicationFn ?NUMBER 1609.344) Meter)))
Merge.kif 5890-5894
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Millimeter)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.001) Meter)))
Merge.kif 5470-5475
(=>
    (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 Kilometer))))
MilitaryDevices.kif 1660-1672
(=>
    (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 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8 Kilometer))))
MilitaryDevices.kif 1234-1246
(=>
    (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 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27 Kilometer))))
MilitaryDevices.kif 1154-1166

Display limited to 25 items. Show next 25

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


(elevation
    (ElevationHighPointFn SouthernOcean)
    (MeasureFn 0 Meter))
Geography.kif 4296-4296 0 Meter(s) is an elevation of the elevation high point of southern ocean
(elevation
    (ElevationLowPointFn SouthernOcean)
    (MeasureFn -7235 Meter))
Geography.kif 4297-4297 -7235 Meter(s) is an elevation of the elevation low point of southern ocean
(elevation SeaLevel
    (MeasureFn 0 Meter))
Geography.kif 4411-4411 0 Meter(s) is an elevation of sea level
(equal
    (MeasureFn 1 NauticalMile)
    (MeasureFn 1852 Meter))
Geography.kif 3620-3620 1 Nautical mile(s) is equal to 1852 meter(s)
(equal
    (MeasureFn 1 SquareKilometer)
    (MultiplicationFn
        (MeasureFn 1
            (KiloFn Meter))
        (MeasureFn 1
            (KiloFn Meter))))
Geography.kif 621-622 1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
(equal
    (MeasureFn 1 SquareMeter)
    (MultiplicationFn
        (MeasureFn 1 Meter)
        (MeasureFn 1 Meter)))
Geography.kif 3672-3673 1 Square meter(s) is equal to 1 meter(s) and 1 meter(s)
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 3691-3691 Square kilometer is equal to the square unit of 1 thousand meters
(equal SquareMeter
    (SquareUnitFn Meter))
Geography.kif 3690-3690 Square meter is equal to the square unit of meter
(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968
        (KiloFn Meter)))
Geography.kif 4289-4289 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      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners