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
GeographicCenterFn
Sigma KEE - GeographicCenterFn
GeographicCenterFn
appearance as argument number 1
(
documentation
GeographicCenterFn
EnglishLanguage
"(
GeographicCenterFn
?REGION) denotes the geographical center of the
GeographicArea
?REGION.")
Geography.kif 338-340
(
domain
GeographicCenterFn
1
GeographicArea
)
Geography.kif 335-335
The number 1 argument of
geographic center
is an
instance
of
geographic area
(
instance
GeographicCenterFn
UnaryFunction
)
Geography.kif 333-333
Geographic center
is an
instance
of
unary function
(
range
GeographicCenterFn
GeographicArea
)
Geography.kif 336-336
The
range
of
geographic center
is an instance of
geographic area
appearance as argument number 2
(
format
ChineseLanguage
GeographicCenterFn
"%1 的 geographic 中心")
domainEnglishFormat.kif 1093-1093
(
format
ChineseTraditionalLanguage
GeographicCenterFn
"%1 的 geographic 中心")
domainEnglishFormat.kif 1092-1092
(
format
EnglishLanguage
GeographicCenterFn
"the geographic center of %1")
domainEnglishFormat.kif 1091-1091
(
names
"geographic center"
GeographicCenterFn
)
Geography.kif 334-334
Geographic center
has
name
"geographic center"
(
termFormat
ChineseLanguage
GeographicCenterFn
"地理中心")
domainEnglishFormat.kif 25770-25770
(
termFormat
ChineseTraditionalLanguage
GeographicCenterFn
"地理中心")
domainEnglishFormat.kif 25769-25769
(
termFormat
EnglishLanguage
GeographicCenterFn
"geographic center")
domainEnglishFormat.kif 25768-25768
antecedent
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
If
a geographic area
is an
instance
of
geographic area
and the
geographic
center of
the geographic area
is an
instance
of
geographic area
,
then the
geographic
center of
the geographic area
is a
geographic
subregion of
the geographic area
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
If
a geographic area
is an
instance
of
geographic area
and the
geographic
center of
the geographic area
is
object
geographic coordinates
a latitude
for
a longitude
,
then
the geographic area
is
object
geographic coordinates
the latitude
for
the longitude
consequent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
If
a directional attribute
is an
instance
of
directional attribute
and
a geographic area
is an
instance
of
geographic area
and the
directional
subregion of
the directional attribute
and
the geographic area
is an
instance
of
geographic area
,
then the
directional
subregion of
the directional attribute
and
the geographic area
is
the directional attribute
to the
geographic
center of
the geographic area
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
If
a geographic area
is an
instance
of
geographic area
and the
geographic
center of
the geographic area
is an
instance
of
geographic area
,
then the
geographic
center of
the geographic area
is a
geographic
subregion of
the geographic area
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