| 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 6396-6399 | |
| (externalImage Meter "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum-Iridium_meter_bar.jpg") | pictureList.kif 1849-1849 | |
| (instance Meter SystemeInternationalUnit) | Merge.kif 6394-6394 | |
| (instance Meter UnitOfLength) | Merge.kif 6393-6393 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Meter "仪表") | domainEnglishFormat.kif 37264-37264 | |
| (termFormat ChineseTraditionalLanguage Meter "儀表") | domainEnglishFormat.kif 37263-37263 | |
| (termFormat EnglishLanguage Meter "meter") | domainEnglishFormat.kif 37262-37262 |
| antecedent |
|
|
| (=> (and (instance ?AREA TropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) (instance ?AREA WetTropicalClimateZone)) |
Geography.kif 1300-1307 | |
| (=> (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 1276-1287 | |
| (=> (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 1546-1553 |
| 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 1432-1443 | |
| (=> (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 1414-1425 | |
| (=> (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 1396-1407 | |
| (=> (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 1450-1459 | |
| (=> (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 1380-1389 | |
| (=> (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 1546-1553 | |
| (=> (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 4456-4460 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 Meter))) |
Geography.kif 4518-4522 | |
| (=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000 (KiloFn Meter)))) |
Geography.kif 4409-4413 | |
| (=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3699-3701 | |
| (=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3711-3713 | |
| (=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852) Meter))) |
Geography.kif 3707-3709 | |
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 16894-16900 | |
| (=> (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 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 Kilogram)) (effectiveRange ?AGM114 (MeasureFn 8 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 Kilogram)) (effectiveRange ?AGM65 (MeasureFn 27 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 Kilogram)) (effectiveRange ?AH1 (MeasureFn 587 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 Kilogram)) (effectiveRange ?AIM9 (MeasureFn 18 Kilometer)))) |
MilitaryDevices.kif 1189-1201 | |
| (=> (instance ?AREA WetTropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) |
Geography.kif 1309-1314 | |
| (=> (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 1860-1872 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
|
|
|