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 7208-7208
(documentation Mile JapaneseLanguage "英国でのマイルの長さの単位。")	japanese_format.kif 1302-1302
(instance Mile UnitOfLength)	Merge.kif 7207-7207	Mile is an instance of unit of length

appearance as argument number 2

(termFormat ChineseLanguage Mile "英里")	domainEnglishFormat.kif 37549-37549
(termFormat ChineseTraditionalLanguage Mile "英里")	domainEnglishFormat.kif 37548-37548
(termFormat EnglishLanguage Mile "mile")	domainEnglishFormat.kif 37547-37547

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 1684-1690	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 3958-3964	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 3993-4000	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 2781-2781	Ozone shield is 25.0 mile(s) above the ground
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7210-7212	A real number mile(s) is equal to the real number and 1609.344 meter(s)
(equal SquareMile (SquareUnitFn Mile))	Mid-level-ontology.kif 14632-14632	Square mile is equal to the square unit of mile

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