| Mile | |
| appearance as argument number 1 |
|
|
| (documentation Mile ChineseLanguage "这是英制长度单位的英里。") | chinese_format.kif 2593-2593 | |
| (documentation Mile EnglishLanguage "English length unit of miles.") | Merge.kif 6984-6984 | |
| (instance Mile UnitOfLength) | Merge.kif 6983-6983 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mile "英里") | domainEnglishFormat.kif 37512-37512 | |
| (termFormat ChineseTraditionalLanguage Mile "英里") | domainEnglishFormat.kif 37511-37511 | |
| (termFormat EnglishLanguage Mile "mile") | domainEnglishFormat.kif 37510-37510 |
| antecedent |
|
|
| (=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn Mile ?N) ?P)) (equal ?N 13.1)) |
Sports.kif 260-267 | |
| (=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn Mile ?N) ?P)) (equal ?N 26.2)) |
Sports.kif 246-253 | |
| (=> (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 1701-1707 | |
| (=> (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))))) |
Weather.kif 693-706 | |
| (=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3746-3748 | |
| (=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3762-3764 | |
| (=> (instance ?JavelinWeapon JavelinWeapon) (effectiveRange ?JavelinWeapon (MeasureFn 1.5 Mile))) |
MilitaryDevices.kif 773-776 |
| statement |
|
|
| (earthAltitude OzoneShield (MeasureFn 25 Mile)) |
Geography.kif 2754-2754 | |
| (equal (MeasureFn 1 SquareMile) (PerFn (MeasureFn 1 Mile) (MeasureFn 1 Mile))) |
Mid-level-ontology.kif 12888-12892 | |
| (equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 6986-6988 |
|
|
|