| Meter
| |
| appearance as argument number 1 |
|
|
| (documentation Meter ChineseLanguage "UnitOfLength 的国际单位制。符号：m。这是国际单位制中的一 个基本单位，而它现在的定义如下：Meter 是光在真空中在时距 1/ 299792458 SecondDuration 内所行经的 距离。") | Merge.kif 9686-9688 | |
| (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 9681-9684 | |
| (documentation Meter JapaneseLanguage "SI UnitOfLength。シンボル: m。 これは、 SIの基本単位 の１つであり、現在は次のように定義されている: %Meter は、SecondDuration の 1/ 299792458 の時間 間隔の間に真空中の光によって移動されるパスの長さである。") | Merge.kif 9690-9692 | |
| (externalImage Meter "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg") | pictureList.kif 1849-1849 | |
| (instance Meter SystemeInternationalUnit) | Merge.kif 9679-9679 | |
| (instance Meter UnitOfLength) | Merge.kif 9678-9678 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Meter "仪表") | domainEnglishFormat.kif 37267-37267 | |
| (termFormat ChineseTraditionalLanguage Meter "儀表") | domainEnglishFormat.kif 37266-37266 | |
| (termFormat EnglishLanguage Meter "meter") | domainEnglishFormat.kif 37265-37265 |
| antecedent |
|
|
| (=> (and (instance ?AREA TropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) (instance ?AREA WetTropicalClimateZone)) |
Geography.kif 1288-1295 | |
| (=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA AtmosphericRegion) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000)) |
Weather.kif 962-973 | |
| (=> (and (instance ?R RadiatingElectromagnetic) (carrierFrequency ?R (MeasureFn Hertz ?HZ)) (wavelength ?R (MeasureFn Meter ?L))) (equal (MeasureFn Meter ?L) (MeasureFn Meter (DivisionFn 299792458 ?HZ)))) |
ComputingBrands.kif 1462-1469 |
| 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 1417-1428 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (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 1399-1410 | |
| (=> (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 1381-1392 | |
| (=> (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 1435-1444 | |
| (=> (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 1365-1374 | |
| (=> (and (instance ?R RadiatingElectromagnetic) (carrierFrequency ?R (MeasureFn Hertz ?HZ)) (wavelength ?R (MeasureFn Meter ?L))) (equal (MeasureFn Meter ?L) (MeasureFn Meter (DivisionFn 299792458 ?HZ)))) |
ComputingBrands.kif 1462-1469 | |
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR ?WIDTH)) (greaterThan ?WIDTH (MeasureFn 1.44 Meter))) |
Transportation.kif 400-405 | |
| (=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter))) |
Transportation.kif 447-452 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (greaterThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter))) |
Transportation.kif 423-428 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.44 Meter))) |
Transportation.kif 430-435 | |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0 Meter))) |
Geography.kif 4442-4446 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 Meter))) |
Geography.kif 4504-4508 | |
| (=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000 (KiloFn Meter)))) |
Geography.kif 4396-4400 | |
| (=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3686-3688 | |
| (=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3698-3700 | |
| (=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852) Meter))) |
Geography.kif 3694-3696 | |
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 16790-16796 | |
| (=> (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 1661-1673 | |
| (=> (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 | |
| (=> (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 Kilogram)) (effectiveRange ?AH1 (MeasureFn 587 Kilometer)))) |
MilitaryDevices.kif 1899-1911 | |
| (=> (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 Kilogram)) (effectiveRange ?AIM9 (MeasureFn 18 Kilometer)))) |
MilitaryDevices.kif 1188-1200 | |
| (=> (instance ?AREA WetTropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) |
Geography.kif 1297-1302 | |
| (=> (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 Kilogram)) (effectiveRange ?CH46D (MeasureFn 676 Kilometer)))) |
MilitaryDevices.kif 1859-1871 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
|
|
|