Browsing Interface

[ Home |  Graph |  ] KB:  SUMO Language:  EnglishLanguage

KB Term:
English Word:		Noun Verb Adjective Adverb

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 SecondDuration.")	Merge.kif 5378-5381	%3
(externalImage Meter "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg")	pictureList.kif 1849-1849	externalImage meter "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg"
(instance Meter SystemeInternationalUnit)	Merge.kif 5377-5377	meter is an instance of systeme international unit
(instance Meter UnitOfLength)	Merge.kif 5376-5376	meter is an instance of UnitOfLength
(subclass Meter AltitudeMeasure)	MilitaryDevices.kif 1499-1499	meter is a subclass of altitude measure

 
 appearance as argument number 2

(termFormat EnglishLanguage Meter "meter")

domainEnglishFormat.kif 6077-6077

term format english language meter "meter"

 antecedent

(=>     (and         (instance ?AREA TropicalClimateZone)         (forall (?MO ?AMOUNT)             (=>                 (averageRainfallForPeriod ?AREA ?MO ?AMOUNT)                 (greaterThanOrEqualTo ?AMOUNT                     (MeasureFn 60                         (MilliFn Meter))))))     (instance ?AREA WetTropicalClimateZone))

Geography.kif 1265-1272

if a geographic area is an instance of tropical climate zone and for all a month and a length measure if geographic area average rainfall for period month for length measure then length measure is greater than or equal to 60 one thousandth of a meter(s) then geographic area is an instance of wet tropical climate zone

 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	if an object is an instance of airport and long runway airport is an attribute of object then there exist object and a physical quantity so that object is an instance of runway and object is a part of object and the length of object is physical quantity and physical quantity is greater than or equal to &meter438$2438 meter(s) or physical quantity is less than or equal to &047$3047 meter(s)
(=>     (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	if an object is an instance of airport and short runway airport is an attribute of object then there exist object and a physical quantity so that object is an instance of runway and object is a part of object and the length of object is physical quantity and physical quantity is greater than or equal to 1524 meter(s) or physical quantity is less than or equal to &meter437$2437 meter(s)
(=>     (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	if an object is an instance of airport and short runway airport is an attribute of object then there exist object and a physical quantity so that object is an instance of runway and object is a part of object and the length of object is physical quantity and physical quantity is greater than or equal to 914 meter(s) or physical quantity is less than or equal to 1523 meter(s)
(=>     (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	if an object is an instance of airport and very long runway airport is an attribute of object then there exist object and a physical quantity so that object is an instance of runway and object is a part of object and the length of object is physical quantity and physical quantity is greater than &047$3047 meter(s)
(=>     (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	if an object is an instance of airport and very short runway airport is an attribute of object then there exist object and a physical quantity so that object is an instance of runway and object is a part of object and the length of object is physical quantity and physical quantity is less than 914 meter(s)
(=>     (and         (instance ?RR Railway)         (property ?RR BroadGauge)         (trackWidth ?RR ?WIDTH))     (greaterThan ?WIDTH         (MeasureFn 1.44 Meter)))	Transportation.kif 378-383	if a railway is an instance of railway and railway has an attribute broad gauge and a length measure is a track width of railway then length measure is greater than 1.44 meter(s)
(=>     (and         (instance ?RR Railway)         (property ?RR NarrowGauge)         (trackWidth ?RR ?WIDTH))     (lessThanOrEqualTo ?WIDTH         (MeasureFn 1.435 Meter)))	Transportation.kif 419-424	if a railway is an instance of railway and railway has an attribute narrow gauge and a length measure is a track width of railway then length measure is less than or equal to 1.435 meter(s)
(=>     (and         (instance ?RR Railway)         (property ?RR StandardGauge)         (trackWidth ?RR ?WIDTH))     (greaterThanOrEqualTo ?WIDTH         (MeasureFn 1.435 Meter)))	Transportation.kif 398-403	if a railway is an instance of railway and railway has an attribute standard gauge and a length measure is a track width of railway then length measure is greater than or equal to 1.435 meter(s)
(=>     (and         (instance ?RR Railway)         (property ?RR StandardGauge)         (trackWidth ?RR ?WIDTH))     (lessThanOrEqualTo ?WIDTH         (MeasureFn 1.44 Meter)))	Transportation.kif 405-410	if a railway is an instance of railway and railway has an attribute standard gauge and a length measure is a track width of railway then length measure is less than or equal to 1.44 meter(s)
(=>     (and         (instance ?SEA Sea)         (top ?TOP ?SEA))     (elevation ?TOP SeaLevel         (MeasureFn 0 Meter)))	Geography.kif 4356-4360	if a self connected object is an instance of sea and the top of self connected object is self connected object then sea level is an elevation of self connected object
(=>     (and         (instance ?ocean Ocean)         (surface ?top ?ocean))     (elevation ?top         (MeasureFn 0 Meter)))	Geography.kif 4418-4422	if a self connected object is an instance of ocean and self connected object is a surface of self connected object then 0 meter(s) is an elevation of self connected object
(=>     (and         (origin AntarcticCircumpolarCurrent ?START)         (destination AntarcticCircumpolarCurrent ?FINISH))     (distance ?START ?FINISH         (MeasureFn 21000             (KiloFn Meter))))	Geography.kif 4310-4314	if antarctic circumpolar current originates at an object and antarctic circumpolar current ends at a physical then the distance between object and physical is &1 thousand meters1000$21000 1 thousand meters(s)
(=>     (equal ?AMOUNT         (MeasureFn ?NUM NauticalMile))     (equal ?AMOUNT         (MeasureFn             (MultiplicationFn ?NUM 1.852)             (KiloFn Meter))))	Geography.kif 3627-3629	if a physical quantity is equal to a real number nautical mile(s) then physical quantity is equal to real number and 1.852 1 thousand meters(s)
(=>     (equal ?NUM         (MultiplicationFn 1 ?NUM))     (equal         (MeasureFn ?NUM NauticalMile)         (MeasureFn             (MultiplicationFn ?NUM 1.852)             (KiloFn Meter))))	Geography.kif 3639-3641	if a real number is equal to 1 and real number then real number nautical mile(s) is equal to real number and 1.852 1 thousand meters(s)
(=>     (equal ?NUM         (MultiplicationFn 1 ?NUM))     (equal         (MeasureFn ?NUM NauticalMile)         (MeasureFn             (MultiplicationFn ?NUM 1852) Meter)))	Geography.kif 3635-3637	if a real number is equal to 1 and real number then real number nautical mile(s) is equal to real number and 1852 meter(s)
(=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Angstrom)         (MeasureFn             (MultiplicationFn ?NUMBER 1.0E-10) Meter)))	Merge.kif 5853-5857	if a real number is equal to 1 and real number then real number angstrom(s) is equal to real number and 1.0E-10 meter(s)
(=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Centimeter)         (MeasureFn             (MultiplicationFn ?NUMBER 0.01) Meter)))	Merge.kif 5456-5460	if a real number is equal to 1 and real number then real number centimeter(s) is equal to real number and 0.01 meter(s)
(=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER FootLength)         (MeasureFn             (MultiplicationFn ?NUMBER 0.3048) Meter)))	Merge.kif 5868-5872	if a real number is equal to 1 and real number then real number foot length(s) is equal to real number and 0.3048 meter(s)
(=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Inch)         (MeasureFn             (MultiplicationFn ?NUMBER 0.0254) Meter)))	Merge.kif 5877-5881	if a real number is equal to 1 and real number then real number inch(s) is equal to real number and 0.0254 meter(s)
(=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Kilometer)         (MeasureFn             (MultiplicationFn ?NUMBER 1000) Meter)))	Merge.kif 5477-5482	if a real number is equal to 1 and real number then real number kilometer(s) is equal to real number and 1000 meter(s)
(=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Mile)         (MeasureFn             (MultiplicationFn ?NUMBER 1609.344) Meter)))	Merge.kif 5886-5890	if a real number is equal to 1 and real number then real number mile(s) is equal to real number and 1609.344 meter(s)
(=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Millimeter)         (MeasureFn             (MultiplicationFn ?NUMBER 0.001) Meter)))	Merge.kif 5466-5471	if a real number is equal to 1 and real number then real number millimeter(s) is equal to real number and 0.001 meter(s)
(=>     (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 1655-1667	if a device is an instance of Amphibious Assault Vehicle then the length of device is 7.94 meter(s) and the width of device is &.27$3.27 meter(s) and &ton mass2.8$22.8 ton mass(s) is a weight of device and the height of device is &.26$3.26 meter(s) and 480 kilometer(s) is an effective range of device
(=>     (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 1235-1247	if a device is an instance of AGM-114 Hellfire missile then the length of device is 1.63 meter(s) and the width of device is 0.71 meter(s) and the height of device is 0.71 meter(s) and 45 kilogram(s) is a weight of device and 8 kilometer(s) is an effective range of device
(=>     (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 1155-1167	if a device is an instance of AGM-65 Maverick missile then the length of device is &meter.55$2.55 meter(s) and the width of device is 0.7 meter(s) and the height of device is 0.7 meter(s) and &02$302 kilogram(s) is a weight of device and &kilometer7$27 kilometer(s) is an effective range of device
Display limited to 25 items. Show next 25

 statement

(elevation     (ElevationHighPointFn SouthernOcean)     (MeasureFn 0 Meter))	Geography.kif 4301-4301	0 meter(s) is an elevation of the elevation high point of southern ocean
(elevation     (ElevationLowPointFn SouthernOcean)     (MeasureFn -7235 Meter))	Geography.kif 4302-4302	-7235 meter(s) is an elevation of the elevation low point of southern ocean
(elevation SeaLevel     (MeasureFn 0 Meter))	Geography.kif 4416-4416	0 meter(s) is an elevation of sea level
(equal     (MeasureFn 1 NauticalMile)     (MeasureFn 1852 Meter))	Geography.kif 3625-3625	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 622-623	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 3677-3678	1 square meter(s) is equal to 1 meter(s) and 1 meter(s)
(equal SquareKilometer     (SquareUnitFn         (KiloFn Meter)))	Geography.kif 3696-3696	square kilometer is equal to the square unit of 1 thousand meters
(equal SquareMeter     (SquareUnitFn Meter))	Geography.kif 3695-3695	square meter is equal to the square unit of meter
(length     (ShorelineFn SouthernOcean Antarctica)     (MeasureFn 17968         (KiloFn Meter)))	Geography.kif 4294-4294	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.1b (2007/11/20) is open source software produced by Articulate Software and its partners