  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHerbaceousPlantHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguageWoodyPlantcbczdehirosvtg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 386-387 (instance ArcSecond UnitOfAngularMeasure) Geography.kif 385-385 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 389-391 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 393-395 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 397-399 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 ?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 3595-3615 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 the other real number the unit of measure(s) is equal to the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and the directional attribute is equal to north or the directional attribute is equal to 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 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.0 angular degree(s) is 1.0 nautical mile(s)

 statement (equal     (MeasureFn 1.0 ArcMinute)     (MeasureFn 60.0 ArcSecond)) Geography.kif 401-401 1.0 Arc minute(s) is equal to 60.0 arc second(s) (equal     (MeasureFn ?DEG ArcMinute)     (MeasureFn         (MultiplicationFn 60.0 ?DEG) ArcSecond)) Geography.kif 402-402 A real number arc minute(s) is equal to 60.0 and the real number arc second(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