Mile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mile

Mile(mile)

international_mile, land_mile, mi, milage, mile, mileage, miler, stat_mi, statute_mile

appearance as argument number 1

(documentation Mile ChineseLanguage "这是英制长度单位的英里。")	chinese_format.kif 2593-2593
(documentation Mile EnglishLanguage "English length unit of miles.")	Merge.kif 7199-7199
(documentation Mile JapaneseLanguage "英国でのマイルの長さの単位。")	japanese_format.kif 1302-1302
(instance Mile UnitOfLength)	Merge.kif 7198-7198	Mile is an instance of unit of length

appearance as argument number 2

(termFormat ChineseLanguage Mile "英里")	domainEnglishFormat.kif 37552-37552
(termFormat ChineseTraditionalLanguage Mile "英里")	domainEnglishFormat.kif 37551-37551
(termFormat EnglishLanguage Mile "mile")	domainEnglishFormat.kif 37550-37550

antecedent

(=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1))	Sports.kif 295-302	If a motion is an instance of half-marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 13.1
(=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2))	Sports.kif 281-288	If a motion is an instance of marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 26.2
(=> (and (lengthOfElectrifiedRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY ElectrifiedRailway) (located ?RAILWAY ?AREA))))	Transportation.kif 135-143	If a real number mile(s) is a length of electrified railway of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of electrified railway and the physical is located at the geographic area
(=> (and (lengthOfMultipleTrackRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY MultipleTrackRailway) (located ?RAILWAY ?AREA))))	Transportation.kif 163-171	If a real number mile(s) is a length of multiple track railway of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of multiple track railway and the physical is located at the geographic area
(=> (and (totalLengthOfRailwaySystem ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA))))	Transportation.kif 107-115	If a real number mile(s) is a total length of railway system of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of railway and the physical is located at the geographic area

consequent

(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration))))	Weather.kif 1685-1691	A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
(=> (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	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.151) Mile)))	Geography.kif 3877-3883	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.151 mile(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile)))	Geography.kif 3912-3919	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1.151 mile(s)
(=> (instance ?JavelinWeapon JavelinWeapon) (effectiveRange ?JavelinWeapon (MeasureFn 1.5 Mile)))	MilitaryDevices.kif 773-776	If a device is an instance of javelin weapon, then 1.5 mile(s) is an effective range of the device

statement

(earthAltitude OzoneShield (MeasureFn 25.0 Mile))	Geography.kif 2793-2793	Ozone shield is 25.0 mile(s) above the ground
(equal (MeasureFn 1.0 SquareMile) (PerFn (MeasureFn 1.0 Mile) (MeasureFn 1.0 Mile)))	Mid-level-ontology.kif 13914-13918	1.0 Square mile(s) is equal to the per of 1.0 mile(s) and 1.0 mile(s)
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7201-7203	A real number mile(s) is equal to the real number and 1609.344 meter(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners