TreeView Knowledge Base Browser - ArcSecond

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ArcSecond

ArcSecond(arc second)

appearance as argument number 1

(documentation ArcSecond EnglishLanguage "ArcSecond represents a UnitOfMeasure equivalent to 1/ 60th of an ArcMinute.")	Geography.kif 1866-1867
(instance ArcSecond UnitOfAngularMeasure)	Geography.kif 1865-1865	Arc second is an instance of unit of angular measure

appearance as argument number 2

(termFormat ChineseLanguage ArcSecond "弧秒")	domainEnglishFormat.kif 8262-8262
(termFormat ChineseTraditionalLanguage ArcSecond "弧秒")	domainEnglishFormat.kif 8261-8261
(termFormat EnglishLanguage ArcSecond "arc second")	domainEnglishFormat.kif 8260-8260

antecedent

(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (greaterThanOrEqualTo ?NUMBER 0.0))	Geography.kif 1869-1871	If the measure of a physical is a real number arc second(s), then the real number is greater than or equal to 0.0
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (lessThanOrEqualTo ?NUMBER 60.0))	Geography.kif 1873-1875	If the measure of a physical is a real number arc second(s), then the real number is less than or equal to 60.0

consequent

(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 1877-1879	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)
(=> (and (instance ?PLACE GeographicArea) (located ?PLACE 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 9.4 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South)))))	Geography.kif 5063-5082	If an object is an instance of geographic area and the object is located at 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 1913-1920	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 ArcMinute) (MeasureFn 60.0 ArcSecond))	Geography.kif 1881-1881	equal 1.0 arc minute(s) and 60.0 arc second(s)
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))	Geography.kif 1882-1882	equal a real number arc minute(s) and 60.0 and the real number arc second(s)
(equal AntarticCircle (LatitudeFn South (MeasureFn 66.0 AngularDegree) (MeasureFn 33.0 ArcMinute) (MeasureFn 50.6 ArcSecond)))	Geography.kif 1647-1651	equal Antartic Circle and the region south of 66.0 angular degree(s)
(equal ArticCircle (LatitudeFn North (MeasureFn 66.0 AngularDegree) (MeasureFn 33.0 ArcMinute) (MeasureFn 50.6 ArcSecond)))	Geography.kif 1601-1605	equal Artic Circle and the region north of 66.0 angular degree(s)
(equal TropicOfCancer (LatitudeFn North (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 9.4 ArcSecond)))	Geography.kif 1617-1621	equal Tropic of Cancer and the region north of 23.0 angular degree(s)
(equal TropicOfCapricorn (LatitudeFn South (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 9.4 ArcSecond)))	Geography.kif 1633-1637	equal Tropic of Capricorn and the region south of 23.0 angular degree(s)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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