Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
LongitudeFn
Sigma KEE - LongitudeFn
LongitudeFn
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 simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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