NauticalMile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NauticalMile

NauticalMile(nautical mile)

air_mile, international_nautical_mile, knot, mi, mile, naut_mi, nautical_mile, sea_mile

appearance as argument number 1

(documentation NauticalMile EnglishLanguage "NauticalMile represents the international unit used for measuring distance in sea and air navigation. The unit is based on the length of a minute of arc of a great circle of PlanetEarth.")	Geography.kif 4107-4110
(externalImage NauticalMile "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png")	pictureList.kif 6720-6720
(instance NauticalMile UnitOfLength)	Geography.kif 4106-4106	Nautical mile is an instance of unit of length

appearance as argument number 2

(names "nautical mile" NauticalMile)	Geography.kif 4104-4104	Nautical mile has &ames$"name" "nautical mile"
(termFormat ChineseLanguage NauticalMile "海里")	domainEnglishFormat.kif 39958-39958	Nautical mile has &ames$"name" "nautical mile"
(termFormat ChineseTraditionalLanguage NauticalMile "海裡")	domainEnglishFormat.kif 39957-39957	Nautical mile has &ames$"name" "nautical mile"
(termFormat EnglishLanguage NauticalMile "nautical mile")	domainEnglishFormat.kif 39956-39956	Nautical mile has &ames$"name" "nautical mile"

antecedent

(=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1305-1310	If a physical is an instance of exclusive fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE ExtendedFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1337-1342	If a physical is an instance of extended fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1273-1278	If a physical is an instance of maritime exclusive economic zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0))	Geography.kif 1232-1237	If a physical is an instance of maritime shelf area and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
(=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 12.0))	Geography.kif 1378-1383	If a physical is an instance of territorial sea and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 12.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 ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 4120-4126	If equal a physical quantity and a real number nautical mile(s), then equal the physical quantity and the real number and 1.852 1 thousand meters(s)
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))	Geography.kif 4180-4188	If equal a function quantity and a real number nautical mile(s) per another real number hour duration(s), then equal the function quantity and the real number and the other real number knot unit of speed(s)

consequent

(<=> (attribute ?WATER OpenSea) (exists (?LAND ?DIST) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER (MeasureFn ?DIST NauticalMile)) (greaterThan ?DIST 5.0))))	Geography.kif 4951-4960	Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
(=> (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)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 4145-4152	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.852 1 thousand meters(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter)))	Geography.kif 4136-4143	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 1852.0 meter(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength)))	Geography.kif 4154-4161	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 6076.1 foot length(s)
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration))))	Geography.kif 4190-4196	If equal a function quantity and a real number knot unit of speed(s), then equal the function quantity and the real number nautical mile(s) per 1.0 hour duration(s)
(=> (or (equal ?DIRECTION North) (equal ?DIRECTION South)) (length (LatitudeFn ?DIRECTION (MeasureFn 0.0 AngularDegree) (MeasureFn 1.0 ArcMinute) (MeasureFn 0.0 ArcSecond)) (MeasureFn 1.0 NauticalMile)))	Geography.kif 603-610	If equal a directional attribute and north or equal the directional attribute and south, then the length of the region the directional attribute of 0.0 angular degree(s) is 1.0 nautical mile(s)

statement

(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 1852.0 Meter))	Geography.kif 4116-4118	equal 1.0 nautical mile(s) and 1852.0 meter(s)
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength))	Geography.kif 4112-4114	equal 1.0 nautical mile(s) and 6076.1 foot length(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