Mile |
appearance as argument number 1 |
(documentation Mile ChineseLanguage "这是英制长度单位的英里。") | chinese_format.kif 2593-2593 | |
(documentation Mile EnglishLanguage "English length unit of miles.") | Merge.kif 7198-7198 | |
(documentation Mile JapaneseLanguage "英国でのマイルの長さの単位。") | japanese_format.kif 1302-1302 | |
(instance Mile UnitOfLength) | Merge.kif 7197-7197 | Mile ist ein fall von UnitOfLength %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage Mile "英里") | domainEnglishFormat.kif 37523-37523 | |
(termFormat ChineseTraditionalLanguage Mile "英里") | domainEnglishFormat.kif 37522-37522 | |
(termFormat EnglishLanguage Mile "mile") | domainEnglishFormat.kif 37521-37521 |
antecedent |
(=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 295-302 |
|
(=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2)) |
Sports.kif 281-288 |
|
(=> (and (lengthOfElectrifiedRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY ElectrifiedRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 135-143 |
|
(=> (and (lengthOfMultipleTrackRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY MultipleTrackRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 163-171 |
|
(=> (and (totalLengthOfRailwaySystem ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 107-115 |
|
consequent |
(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 1702-1708 | FunctionQuantity ist gleich RealNumber MilesPerHour(s) %n{nicht} genau dann wenn ** FunctionQuantity ist gleich ** RealNumber Mile(s) pro &2 %n{nicht} |
(=> (and (instance ?TC TropicalCyclone) (destination ?TC ?DEST) (instance ?DEST GeographicArea)) (not (exists (?L ?SL ?X) (and (instance ?L LandArea) (instance ?SL Shoreline) (located ?DEST ?L) (distance ?L ?SL (MeasureFn ?X Mile)) (greaterThan ?X 200.0))))) |
Weather.kif 693-706 |
|
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3877-3883 |
|
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3912-3919 |
|
(=> (instance ?JavelinWeapon JavelinWeapon) (effectiveRange ?JavelinWeapon (MeasureFn 1.5 Mile))) |
MilitaryDevices.kif 773-776 |
|
statement |
(earthAltitude OzoneShield (MeasureFn 25.0 Mile)) |
Geography.kif 2793-2793 | earthAltitude OzoneShield and 25.0 Mile(s) |
(equal (MeasureFn 1.0 SquareMile) (PerFn (MeasureFn 1.0 Mile) (MeasureFn 1.0 Mile))) |
Mid-level-ontology.kif 13696-13700 | 1.0 SquareMile(s) ist gleich PerFn 1.0 Mile(s) and 1.0 Mile(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7200-7202 | RealNumber Mile(s) ist gleich ** RealNumber und 1609.344 Meter(s) %n{nicht} |