Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
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.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 413-419
(
domain
LatitudeFn
1
DirectionalAttribute
)
Geography.kif 406-406
The number 1 argument of
latitude
is an
instance
of
directional attribute
(
domain
LatitudeFn
2
AngleMeasure
)
Geography.kif 407-407
The number 2 argument of
latitude
is an
instance
of
angle measure
(
domain
LatitudeFn
3
AngleMeasure
)
Geography.kif 408-408
The number 3 argument of
latitude
is an
instance
of
angle measure
(
domain
LatitudeFn
4
AngleMeasure
)
Geography.kif 409-409
The number 4 argument of
latitude
is an
instance
of
angle measure
(
instance
LatitudeFn
Function
)
Geography.kif 405-405
Latitude
is an
instance
of
function
(
instance
LatitudeFn
VariableArityRelation
)
Geography.kif 404-404
Latitude
is an
instance
of
variable arity relation
(
range
LatitudeFn
Region
)
Geography.kif 410-410
The
range
of
latitude
is an instance of
region
appearance as argument number 2
(
format
ChineseLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3734-3734
(
format
ChineseTraditionalLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3733-3733
(
format
EnglishLanguage
LatitudeFn
"the region %1 of %2")
domainEnglishFormat.kif 3732-3732
(
termFormat
ChineseLanguage
LatitudeFn
"纬度")
domainEnglishFormat.kif 33479-33479
(
termFormat
ChineseTraditionalLanguage
LatitudeFn
"緯度")
domainEnglishFormat.kif 33478-33478
(
termFormat
EnglishLanguage
LatitudeFn
"Latitude")
Geography.kif 411-411
(
termFormat
EnglishLanguage
LatitudeFn
"latitude")
domainEnglishFormat.kif 33477-33477
antecedent
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
If the
region
a directional attribute
of @ROW is an
instance
of
region
and 1th
element
of (@ROW) is
equal
to
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 421-425
If the
region
a directional attribute
of @ROW is an
instance
of
region
,
then
the directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
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 3595-3615
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
the other real number
the unit of measure
(s) is
equal
to the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
the directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
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 627-646
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
the directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
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 433-440
If
a directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
south
,
then the
length
of the
region
the directional attribute
of 0.0
angular degree
(s) is 1.0
nautical mile
(s)
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 4662-4669
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