| appearance as argument number 1 |
|
| (documentation LongitudeFn EnglishLanguage "(LongitudeFn ?DIRECTION @ROW) denotes a meridian of longitude. Note that LongitudeFn is a VariableArityRelation. Examples: (LongitudeFn East (MeasureFn 180.0 AngularDegree)), (LongitudeFn West (MeasureFn 122.0 AngularDegree) (MeasureFn 24.0 ArcMinute)), (LongitudeFn East (MeasureFn 121.0 AngularDegree) (MeasureFn 0.0 ArcMinute) (MeasureFn 15.0 ArcSecond)), (LongitudeFn West (MeasureFn 80.0 AngularDegree) (MeasureFn 6.78 ArcMinute)).") | Geography.kif 451-459 | |
| (domain LongitudeFn 1 DirectionalAttribute) | Geography.kif 444-444 | |
| (domain LongitudeFn 2 AngleMeasure) | Geography.kif 445-445 | |
| (domain LongitudeFn 3 AngleMeasure) | Geography.kif 446-446 | |
| (domain LongitudeFn 4 AngleMeasure) | Geography.kif 447-447 | |
| (instance LongitudeFn Function) | Geography.kif 442-442 | |
| (instance LongitudeFn VariableArityRelation) | Geography.kif 443-443 | |
| (range LongitudeFn GeographicArea) | Geography.kif 448-448 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage LongitudeFn "在 %2 %1 的 meridian ") | domainEnglishFormat.kif 3788-3788 | |
| (format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") | domainEnglishFormat.kif 3787-3787 | |
| (format EnglishLanguage LongitudeFn "the meridian at %2 %1") | domainEnglishFormat.kif 3786-3786 | |
| (termFormat ChineseLanguage LongitudeFn "经度") | domainEnglishFormat.kif 35025-35025 | |
| (termFormat ChineseTraditionalLanguage LongitudeFn "經度") | domainEnglishFormat.kif 35024-35024 | |
| (termFormat EnglishLanguage LongitudeFn "Longitude") | Geography.kif 449-449 | |
| (termFormat EnglishLanguage LongitudeFn "longitude") | domainEnglishFormat.kif 35023-35023 |
| antecedent |
|
|
| (=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0)) |
Geography.kif 467-474 | |
| (=> (instance (LongitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION East) (equal ?DIRECTION West))) |
Geography.kif 461-465 |
| statement |
|
|
| (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 4731-4738 |
|
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