| 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 UnitOfAngularMeasure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8269-8269 | |
| (termFormat ChineseTraditionalLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8268-8268 | |
| (termFormat EnglishLanguage ArcSecond "arc second") | domainEnglishFormat.kif 8267-8267 |
| antecedent |
|
|
| (=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (greaterThanOrEqualTo ?NUMBER 0)) |
Geography.kif 389-391 |
|
| (=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (lessThanOrEqualTo ?NUMBER 60)) |
Geography.kif 393-395 |
|
| consequent |
|
|
| (<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60 ?DEG) ArcSecond))) |
Geography.kif 397-399 | The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(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 |
|
| statement |
|
|
| (equal (MeasureFn 1 ArcMinute) (MeasureFn 60 ArcSecond)) |
Geography.kif 401-401 | 1 Arc minute(s) is equal to 60 arc second(s) |
| (equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60 ?DEG) ArcSecond)) |
Geography.kif 402-402 | A real number arc minute(s) is equal to 60 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners