| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8271-8271 | |
| (termFormat ChineseTraditionalLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8270-8270 | |
| (termFormat EnglishLanguage ArcSecond "arc second") | domainEnglishFormat.kif 8269-8269 |
| antecedent |
|
|
| (=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 389-391 | |
| (=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (lessThanOrEqualTo ?NUMBER 60.0)) |
Geography.kif 393-395 |
| consequent |
|
|
| (<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))) |
Geography.kif 397-399 | |
| (=> (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 3517-3537 | |
| (=> (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 |
| statement |
|
|
| (equal (MeasureFn 1.0 ArcMinute) (MeasureFn 60.0 ArcSecond)) |
Geography.kif 401-401 | |
| (equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 402-402 |
|
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