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
Die Zahl 1 Argument von
GeographicCenterFn
ist ein
fall
von
GeographicArea
%n{nicht}
(
instance
GeographicCenterFn
UnaryFunction
)
Geography.kif 333-333
GeographicCenterFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
GeographicCenterFn
GeographicArea
)
Geography.kif 336-336
bildbereich
von
GeographicCenterFn
ist ein fall von
GeographicArea
{nicht}
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
names
"geographic center" and
GeographicCenterFn
(
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
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
GeographicCenterFn
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
geographicSubregion
GeographicCenterFn
** GeographicArea
and
** GeographicArea
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
objectGeographicCoordinates
GeographicCenterFn
** GeographicArea
,
Latitude
and
Longitude
,
dann
objectGeographicCoordinates
** GeographicArea
,
** Latitude
and
** 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
Wenn
DirectionalAttribute
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist
** DirectionalAttribute
hinsichlich
GeographicCenterFn
** GeographicArea
%n{nicht}
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
GeographicCenterFn
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
geographicSubregion
GeographicCenterFn
** GeographicArea
and
** GeographicArea
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
objectGeographicCoordinates
GeographicCenterFn
SouthernOcean
,
LatitudeFn
South
, 65.0
AngularDegree
(s) and 0.0
ArcMinute
(s) and
LongitudeFn
East
, 0.0
AngularDegree
(s) and 0.0
ArcMinute
(s)
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