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 3691-3694
(externalImage NauticalMile "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png")	pictureList.kif 6722-6722
(instance NauticalMile UnitOfLength)	Geography.kif 3690-3690	Nautical mile is an instance of UnitOfLength

appearance as argument number 2

(names "nautical mile" NauticalMile)	Geography.kif 3688-3688	Nautical mile has name "nautical mile"
(termFormat ChineseLanguage NauticalMile "海里")	domainEnglishFormat.kif 39841-39841
(termFormat ChineseTraditionalLanguage NauticalMile "海裡")	domainEnglishFormat.kif 39840-39840
(termFormat EnglishLanguage NauticalMile "nautical mile")	domainEnglishFormat.kif 39839-39839

antecedent

(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.151) Mile)))	Geography.kif 3703-3705	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 ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 3699-3701	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.852 1 thousand meters(s)
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))	Geography.kif 3731-3733	If a function quantity is equal to a real number nautical mile(s) per another real number hour duration(s), then the function quantity is equal to the real number and the other real number knot unit of speed(s)

consequent

(<=> (attribute ?WATER OpenSea) (and (instance ?WATER SaltWaterArea) (not (instance ?WATER LandlockedWater)) (distance ?LAND ?WATER ?DIST) (greaterThan ?DIST (MeasureFn 5 NauticalMile))))	Geography.kif 4421-4429	Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a length measure and the length measure is greater than 5 nautical mile(s)
(=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1138-1142	If an object is an instance of exclusive fishing zone and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
(=> (and (instance ?ZONE ExtendedFishingZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1169-1173	If an object is an instance of extended fishing zone and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
(=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1107-1111	If an object is an instance of maritime exclusive economic zone and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
(=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile)))	Geography.kif 1067-1071	If an object is an instance of maritime shelf area and the linear extent of the object is a length measure, then the length measure is less than or equal to 200 nautical mile(s)
(=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 12 NauticalMile)))	Geography.kif 1209-1213	If an object is an instance of territorial sea and the linear extent of the object is a length measure, then the length measure is less than or equal to 12 nautical mile(s)
(=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile)))	Geography.kif 3719-3721	If a real number is equal to 1 and the real number, then the real number nautical mile(s) is equal to the real number and 1.151 mile(s)
(=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 3711-3713	If a real number is equal to 1 and the real number, then the real number nautical mile(s) is equal to the real number and 1.852 1 thousand meters(s)
(=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852) Meter)))	Geography.kif 3707-3709	If a real number is equal to 1 and the real number, then the real number nautical mile(s) is equal to the real number and 1852 meter(s)
(=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength)))	Geography.kif 3715-3717	If a real number is equal to 1 and the real number, then the real number nautical mile(s) is equal to the real number and 6076.1 foot length(s)
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1 HourDuration))))	Geography.kif 3735-3737	If a function quantity is equal to a real number knot unit of speed(s), then the function quantity is equal to the real number nautical mile(s) per 1 hour duration(s)
(=> (or (equal ?DIRECTION North) (equal ?DIRECTION South)) (length (LatitudeFn ?DIRECTION (MeasureFn 0 AngularDegree) (MeasureFn 1 ArcMinute) (MeasureFn 0 ArcSecond)) (MeasureFn 1 NauticalMile)))	Geography.kif 433-440	If a directional attribute is equal to north or the directional attribute is equal to south, then the length of the region the directional attribute of 0 angular degree(s) is 1 nautical mile(s)

statement

(equal (MeasureFn 1 NauticalMile) (MeasureFn 1852 Meter))	Geography.kif 3697-3697	1 Nautical mile(s) is equal to 1852 meter(s)
(equal (MeasureFn 1 NauticalMile) (MeasureFn 6076.1 FootLength))	Geography.kif 3696-3696	1 Nautical mile(s) is equal to 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners