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
LatitudeFn
Sigma KEE - LatitudeFn
LatitudeFn
appearance as argument number 1
(
documentation
LatitudeFn
EnglishLanguage
"
LatitudeFn
is a
VariableArityRelation
used to denote a parallel of latitude. Examples: (
LatitudeFn
North
(
MeasureFn
38
AngularDegree
)), (
LatitudeFn
South
(
MeasureFn
23
AngularDegree
) (
MeasureFn
30
ArcMinute
)), (
LatitudeFn
South
(
MeasureFn
60
AngularDegree
) (
MeasureFn
0
ArcMinute
) (
MeasureFn
0
ArcSecond
)), (
LatitudeFn
North
(
MeasureFn
42
AngularDegree
) (
MeasureFn
7.89
ArcMinute
)).")
Geography.kif 413-419
(
domain
LatitudeFn
1
DirectionalAttribute
)
Geography.kif 406-406
(
domain
LatitudeFn
2
AngleMeasure
)
Geography.kif 407-407
(
domain
LatitudeFn
3
AngleMeasure
)
Geography.kif 408-408
(
domain
LatitudeFn
4
AngleMeasure
)
Geography.kif 409-409
(
instance
LatitudeFn
Function
)
Geography.kif 405-405
(
instance
LatitudeFn
VariableArityRelation
)
Geography.kif 404-404
(
range
LatitudeFn
Region
)
Geography.kif 410-410
appearance as argument number 2
(
format
ChineseLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3739-3739
(
format
ChineseTraditionalLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3738-3738
(
format
EnglishLanguage
LatitudeFn
"the region %1 of %2")
domainEnglishFormat.kif 3737-3737
(
termFormat
ChineseLanguage
LatitudeFn
"纬度")
domainEnglishFormat.kif 33469-33469
(
termFormat
ChineseTraditionalLanguage
LatitudeFn
"緯度")
domainEnglishFormat.kif 33468-33468
(
termFormat
EnglishLanguage
LatitudeFn
"Latitude")
Geography.kif 411-411
(
termFormat
EnglishLanguage
LatitudeFn
"latitude")
domainEnglishFormat.kif 33467-33467
antecedent
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90))
Geography.kif 427-431
(=>
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
or
(
equal
?DIRECTION
North
)
(
equal
?DIRECTION
South
)))
Geography.kif 421-425
consequent
(=>
(
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
(
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