Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Entity
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.0
AngularDegree
)), (
LatitudeFn
South
(
MeasureFn
23.0
AngularDegree
) (
MeasureFn
30.0
ArcMinute
)), (
LatitudeFn
South
(
MeasureFn
60.0
AngularDegree
) (
MeasureFn
0.0
ArcMinute
) (
MeasureFn
0.0
ArcSecond
)), (
LatitudeFn
North
(
MeasureFn
42.0
AngularDegree
) (
MeasureFn
7.89
ArcMinute
)).")
Geography.kif 583-589
(
domain
LatitudeFn
1
DirectionalAttribute
)
Geography.kif 576-576
The number 1 argument of
latitude
is an
instance
of
directional attribute
(
domain
LatitudeFn
2
AngleMeasure
)
Geography.kif 577-577
The number 2 argument of
latitude
is an
instance
of
angle measure
(
domain
LatitudeFn
3
AngleMeasure
)
Geography.kif 578-578
The number 3 argument of
latitude
is an
instance
of
angle measure
(
domain
LatitudeFn
4
AngleMeasure
)
Geography.kif 579-579
The number 4 argument of
latitude
is an
instance
of
angle measure
(
instance
LatitudeFn
Function
)
Geography.kif 575-575
Latitude
is an
instance
of
function
(
instance
LatitudeFn
VariableArityRelation
)
Geography.kif 574-574
Latitude
is an
instance
of
variable arity relation
(
range
LatitudeFn
Region
)
Geography.kif 580-580
The
range
of
latitude
is an instance of
region
appearance as argument number 2
(
format
ChineseLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3732-3732
(
format
ChineseTraditionalLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3731-3731
(
format
EnglishLanguage
LatitudeFn
"the region %1 of %2")
domainEnglishFormat.kif 3730-3730
(
termFormat
ChineseLanguage
LatitudeFn
"纬度")
domainEnglishFormat.kif 33490-33490
(
termFormat
ChineseTraditionalLanguage
LatitudeFn
"緯度")
domainEnglishFormat.kif 33489-33489
(
termFormat
EnglishLanguage
LatitudeFn
"Latitude")
Geography.kif 581-581
(
termFormat
EnglishLanguage
LatitudeFn
"latitude")
domainEnglishFormat.kif 33488-33488
antecedent
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 597-601
If the
region
a directional attribute
of @ROW is an
instance
of
region
and
equal
1th
element
of (@ROW) and
a real number
angular degree
(s),
then
the real number
is
less
than or equal to 90.0
(=>
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
or
(
equal
?DIRECTION
North
)
(
equal
?DIRECTION
South
)))
Geography.kif 591-595
If the
region
a directional attribute
of @ROW is an
instance
of
region
,
then
equal
the directional attribute
and
north
or
equal
the directional attribute
and
south
consequent
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3753-3773
If
an object
is an
instance
of
geographic area
and
the object
is
located
at
another object
and
the other object
is an
instance
of
tropics
,
then there exist
a real number
,
a longitude
,, ,
a directional attribute
,, ,
another real number
and
an unit of measure
such that
the object
is
object
geographic coordinates
the real number
the unit of measure
(s) for
the longitude
and
the unit of measure
is an
instance
of
unit of angular measure
and
the real number
is
less
than
the other real number
and
equal
the other real number
the unit of measure
(s) and the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
equal
the directional attribute
and
north
or
equal
the directional attribute
and
south
(=>
(
and
(
instance
?TC
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 611-630
If
a process
is an
instance
of
tropical cyclonic system
and
the process
originate
s at
an object
and
the object
is an
instance
of
north atlantic ocean
or
the object
is an
instance
of
pacific ocean
or
the object
is an
instance
of
indian ocean
,
then there don't exist
another object
,
a directional attribute
,, ,
a real number
and
a longitude
such that
the other object
is
located
at
the object
and
the directional attribute
is an
instance
of
directional attribute
and
the other object
is
object
geographic coordinates the
region
the directional attribute
of
the real number
angular degree
(s) for
the longitude
and
equal
the directional attribute
and
north
or
equal
the directional attribute
and
south
and
the real number
is
less
than 5.0
(=>
(
or
(
equal
?DIRECTION
North
)
(
equal
?DIRECTION
South
))
(
length
(
LatitudeFn
?DIRECTION
(
MeasureFn
0.0
AngularDegree
)
(
MeasureFn
1.0
ArcMinute
)
(
MeasureFn
0.0
ArcSecond
))
(
MeasureFn
1.0
NauticalMile
)))
Geography.kif 603-610
If
equal
a directional attribute
and
north
or
equal
the directional attribute
and
south
,
then the
length
of the
region
the directional attribute
of 0.0
angular degree
(s) is 1.0
nautical mile
(s)
statement
(
equal
NorthPole
(
LatitudeFn
North
(
MeasureFn
90
AngularDegree
)))
Geography.kif 4003-4006
equal
North Pole
and the
region
north
of 90
angular degree
(s)
(
equal
SouthPole
(
LatitudeFn
South
(
MeasureFn
90
AngularDegree
)))
Geography.kif 4030-4033
equal
South Pole
and the
region
south
of 90
angular degree
(s)
(
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 4902-4909
The
geographic
center of
southern ocean
is
object
geographic coordinates the
region
south
of 65.0
angular degree
(s) for the
meridian
at 0.0
angular degree
(s)
east
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