| Mile | |
| appearance as argument number 1 |
|
|
| (documentation Mile ChineseLanguage "这是英制长度单位的英里。") | chinese_format.kif 2593-2593 | |
| (documentation Mile EnglishLanguage "English length unit of miles.") | Merge.kif 7227-7227 | |
| (documentation Mile JapaneseLanguage "英国でのマイルの長さの単位。") | japanese_format.kif 1302-1302 | |
| (instance Mile UnitOfLength) | Merge.kif 7226-7226 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mile "英里") | domainEnglishFormat.kif 37532-37532 | |
| (termFormat ChineseTraditionalLanguage Mile "英里") | domainEnglishFormat.kif 37531-37531 | |
| (termFormat EnglishLanguage Mile "mile") | domainEnglishFormat.kif 37530-37530 |
| antecedent |
|
|
| (=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 307-314 | |
| (=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2)) |
Sports.kif 293-300 | |
| (=> (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 2091-2097 | |
| (=> (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 677-690 | |
| (=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3958-3964 | |
| (=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3993-4000 | |
| (=> (instance ?JavelinWeapon JavelinWeapon) (effectiveRange ?JavelinWeapon (MeasureFn 1.5 Mile))) |
MilitaryDevices.kif 930-933 |
| statement |
|
|
| (earthAltitude OzoneShield (MeasureFn 25.0 Mile)) |
Geography.kif 2781-2781 | |
| (equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7229-7231 | |
| (equal SquareMile (SquareUnitFn Mile)) |
Mid-level-ontology.kif 15075-15075 |
|
|
|