| 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 AngularDegree)), (LongitudeFn West (MeasureFn 122 AngularDegree) (MeasureFn 24 ArcMinute)), (LongitudeFn East (MeasureFn 121 AngularDegree) (MeasureFn 0 ArcMinute) (MeasureFn 15 ArcSecond)), (LongitudeFn West (MeasureFn 80 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 3795-3795 | |
| (format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") | domainEnglishFormat.kif 3794-3794 | |
| (format EnglishLanguage LongitudeFn "the meridian at %2 %1") | domainEnglishFormat.kif 3793-3793 | |
| (termFormat ChineseLanguage LongitudeFn "经度") | domainEnglishFormat.kif 34987-34987 | |
| (termFormat ChineseTraditionalLanguage LongitudeFn "經度") | domainEnglishFormat.kif 34986-34986 | |
| (termFormat EnglishLanguage LongitudeFn "Longitude") | Geography.kif 449-449 | |
| (termFormat EnglishLanguage LongitudeFn "longitude") | domainEnglishFormat.kif 34985-34985 |
| antecedent |
|
|
| (=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180)) |
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 AngularDegree) (MeasureFn 0 ArcMinute)) (LongitudeFn East (MeasureFn 0 AngularDegree) (MeasureFn 0 ArcMinute))) |
Geography.kif 4390-4392 |
|
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