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 6718-6721 | |
(documentation Meter JapaneseLanguage "SI UnitOfLength。シンボル: m。 これは、 SIの基本単位 の1つであり、現在は次のように定義されている: %Meter は、SecondDuration の 1/ 299792458 の時間 間隔の間に真空中の光によって移動されるパスの長さである。") | japanese_format.kif 1184-1186 | |
(externalImage Meter "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Platinum_Iridium_meter_bar.jpg") | pictureList.kif 1847-1847 | |
(instance Meter SystemeInternationalUnit) | Merge.kif 6716-6716 | Meter は システム国際ユニット の instance では |
(instance Meter UnitOfLength) | Merge.kif 6715-6715 | Meter は UnitOfLength の instance では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Meter "仪表") | domainEnglishFormat.kif 37352-37352 | |
(termFormat ChineseTraditionalLanguage Meter "儀表") | domainEnglishFormat.kif 37351-37351 | |
(termFormat EnglishLanguage Meter "meter") | domainEnglishFormat.kif 37350-37350 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 2438) (lessThanOrEqualTo ?LENGTH 3047))))) |
Transportation.kif 1574-1586 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 1524) (lessThanOrEqualTo ?LENGTH 2437))))) |
Transportation.kif 1555-1567 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 914) (lessThanOrEqualTo ?LENGTH 1523))))) |
Transportation.kif 1536-1548 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryLongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (greaterThan ?LENGTH 3047)))) |
Transportation.kif 1593-1603 | |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (lessThan ?LENGTH 914)))) |
Transportation.kif 1520-1529 | |
(=> (and (instance ?R RadiatingElectromagnetic) (carrierFrequency ?R (MeasureFn ?HZ Hertz)) (wavelength ?R (MeasureFn ?L Meter))) (equal (MeasureFn ?L Meter) (MeasureFn (DivisionFn 299792458 ?HZ) Meter))) |
ComputingBrands.kif 1570-1577 | |
(=> (and (instance ?R Ruler) (instance ?M Measuring) (instrument ?M ?R) (instance ?LE LinearExtent) (result ?M ?LE)) (lessThan ?LE (MeasureFn 10.0 Meter))) |
Mid-level-ontology.kif 33827-33834 | |
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 5005-5010 |
|
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 Meter))) |
Geography.kif 5084-5089 |
|
(=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000.0 (KiloFn Meter)))) |
Geography.kif 4937-4943 | |
(=> (climateTypeInArea ?AREA WetTropicalClimateZone) (forall (?MO ?AMOUNT) (and (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)))) |
Geography.kif 1489-1496 |
|
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 4120-4126 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 4145-4152 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter))) |
Geography.kif 4136-4143 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 20654-20660 | |
(=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002)))) |
WMD.kif 205-211 | |
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 13.7 Meter))) |
Transportation.kif 900-902 |
|
(=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter)))))) |
Weather.kif 2561-2571 | |
(=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400.0)))) |
Weather.kif 3471-3480 | |
(=> (instance ?VIRUS YellowFeverVirus) (exists (?NUMBER) (and (width ?VIRUS (MeasureFn ?NUMBER Meter)) (equal ?NUMBER 0.00000002)))) |
WMD.kif 1179-1184 | |
(=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4284-4288 | |
(=> (instance ?X KingBed) (and (width ?X (MeasureFn 1.9 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4227-4231 | |
(=> (instance ?X QueenBed) (and (width ?X (MeasureFn 1.5 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4258-4262 | |
(=> (instance ?X SingleBed) (and (width ?X (MeasureFn 1.0 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4310-4314 |
statement |
![]() |
![]() |
![]() |