Knowledge base Browser

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

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 length measure so that object is an instance of runway and object is a part of object and the length of object is length measure and length measure is greater than or equal to 2438 meter(s) or length measure is less than or equal to 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 length measure so that object is an instance of runway and object is a part of object and the length of object is length measure and length measure is greater than or equal to 1524 meter(s) or length measure is less than or equal to 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 length measure so that object is an instance of runway and object is a part of object and the length of object is length measure and length measure is greater than or equal to 914 meter(s) or length measure 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 length measure so that object is an instance of runway and object is a part of object and the length of object is length measure and length measure is greater than 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 length measure so that object is an instance of runway and object is a part of object and the length of object is length measure and length measure is less than 914 meter(s)
(=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR ?WIDTH)) (greaterThan ?WIDTH (MeasureFn 1.44 Meter)))	Transportation.kif 377-382	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 418-423	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 397-402	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 404-409	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)) (altitude ?TOP SeaLevel (MeasureFn 0 Meter)))	Geography.kif 4351-4355	If a self connected object is an instance of sea and the top of self connected object is self connected object then the altitude of self connected object is sea level
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 Meter)))	Geography.kif 4413-4417	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 4305-4309	If antarctic circumpolar current originates at an object and antarctic circumpolar current ends at a physical then the distance between object and physical is 21000 1 thousand meters(s)
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 3622-3624	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 3634-3636	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 3630-3632	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 5857-5861	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 5460-5464	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 5872-5876	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 5881-5885	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 5481-5486	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 5890-5894	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 5470-5475	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 1660-1672	If a self connected object is an instance of Amphibious Assault Vehicle then the length of self connected object is 7.94 meter(s) and the width of self connected object is 3.27 meter(s) and 22.8 ton mass(s) is a weight of self connected object and the height of self connected object is 3.26 meter(s) and 480 kilometer(s) is an effective range of self connected object
(=> (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	If a self connected object is an instance of AGM-114 Hellfire missile then the length of self connected object is 1.63 meter(s) and the width of self connected object is 0.71 meter(s) and the height of self connected object is 0.71 meter(s) and 45 kilogram(s) is a weight of self connected object and 8 kilometer(s) is an effective range of self connected object
(=> (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	If a self connected object is an instance of AGM-65 Maverick missile then the length of self connected object is 2.55 meter(s) and the width of self connected object is 0.7 meter(s) and the height of self connected object is 0.7 meter(s) and 302 kilogram(s) is a weight of self connected object and 27 kilometer(s) is an effective range of self connected object

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

KB Term:

English Word: