ArcMinute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ArcMinute

ArcMinute(arc minute)

appearance as argument number 1

(documentation ArcMinute EnglishLanguage "ArcMinute represents a UnitOfMeasure equivalent to 1/ 60th of an AngularDegree.")	Geography.kif 537-538
(instance ArcMinute UnitOfAngularMeasure)	Geography.kif 536-536	Arc minute is an instance of unit of angular measure

appearance as argument number 2

(termFormat ChineseLanguage ArcMinute "弧分")	domainEnglishFormat.kif 8257-8257
(termFormat ChineseTraditionalLanguage ArcMinute "弧分")	domainEnglishFormat.kif 8256-8256
(termFormat EnglishLanguage ArcMinute "arc minute")	domainEnglishFormat.kif 8255-8255

antecedent

(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 567-569	The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s)
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcMinute)) (greaterThanOrEqualTo ?NUMBER 0.0))	Geography.kif 540-542	If the measure of a physical is a real number arc minute(s), then the real number is greater than or equal to 0.0
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcMinute)) (lessThanOrEqualTo ?NUMBER 60.0))	Geography.kif 544-546	If the measure of a physical is a real number arc minute(s), then the real number is less than or equal to 60.0

consequent

(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 548-550	The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
(=> (and (instance ?PLACE GeographicArea) (located ?PLACE ?T) (instance ?T Tropics)) (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U) (and (objectGeographicCoordinates ?PLACE (MeasureFn ?NUM1 ?U) ?LONG) (instance ?U UnitOfAngularMeasure) (lessThan ?NUM1 ?NUM2) (equal (MeasureFn ?NUM2 ?U) (LatitudeFn ?DIR (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 11.5 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South)))))	Geography.kif 3753-3773	If an object is an instance of geographic area and the object is located at another object and the other object is an instance of tropics, then there exist a real number, a longitude,, , a directional attribute,, , another real number and an unit of measure such that the object is object geographic coordinates the real number the unit of measure(s) for the longitude and the unit of measure is an instance of unit of angular measure and the real number is less than the other real number and equal the other real number the unit of measure(s) and the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and equal the directional attribute and north or equal the directional attribute and south
(=> (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 AngularDegree) (MeasureFn 60.0 ArcMinute))	Geography.kif 552-552	equal 1.0 angular degree(s) and 60.0 arc minute(s)
(equal (MeasureFn 1.0 ArcMinute) (MeasureFn 60.0 ArcSecond))	Geography.kif 571-571	equal 1.0 arc minute(s) and 60.0 arc second(s)
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))	Geography.kif 572-572	equal a real number arc minute(s) and 60.0 and the real number arc second(s)
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute))	Geography.kif 553-553	equal a real number angular degree(s) and 60.0 and the real number arc minute(s)
(objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65.0 AngularDegree) (MeasureFn 0.0 ArcMinute)) (LongitudeFn East (MeasureFn 0.0 AngularDegree) (MeasureFn 0.0 ArcMinute)))	Geography.kif 4902-4909	The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east

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