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

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	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 equal the real number and 13.1
(=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2))	Sports.kif 293-300	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 equal the real number and 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 2531-2537	equal a function quantity and a real number miles per hour(s) if and only if equal the function quantity and 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 4128-4134	If equal a physical quantity and a real number nautical mile(s), then equal the physical quantity and 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 4163-4170	If equal a real number and 1.0 and the real number, then equal the real number nautical mile(s) and the real number and 1.151 mile(s)

statement

(earthAltitude OzoneShield (MeasureFn 25.0 Mile))	Geography.kif 2951-2951	Ozone shield is 25.0 mile(s) above the ground
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7244-7246	equal a real number mile(s) and the real number and 1609.344 meter(s)
(equal SquareMile (SquareUnitFn Mile))	Mid-level-ontology.kif 15075-15075	equal square mile and 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