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
域
地理中心
, 1 and
GeographicArea
(
instance
GeographicCenterFn
UnaryFunction
)
Geography.kif 333-333
例
地理中心
and
UnaryFunction
(
range
GeographicCenterFn
GeographicArea
)
Geography.kif 336-336
範圍
地理中心
and
GeographicArea
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" and
地理中心
(
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
例
GeographicArea
and
GeographicArea
例
GeographicArea
的
geographic
中心 and
GeographicArea
GeographicArea
的
geographic
中心 是
GeographicArea
的
geographic
次要地區
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
例
GeographicArea
and
GeographicArea
GeographicArea
的
geographic
中心 是 對於
經度
的
object
地理座標
緯度
GeographicArea
是 對於
經度
的
object
地理座標
緯度
consequent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
例
DirectionalAttribute
and
DirectionalAttribute
例
GeographicArea
and
GeographicArea
例
DirectionalAttribute
和
GeographicArea
的
directional
次要地區 and
GeographicArea
方位
DirectionalAttribute
和
GeographicArea
的
directional
次要地區,
GeographicArea
的
geographic
中心 and
DirectionalAttribute
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
例
GeographicArea
and
GeographicArea
例
GeographicArea
的
geographic
中心 and
GeographicArea
GeographicArea
的
geographic
中心 是
GeographicArea
的
geographic
次要地區
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
南部海洋
的
geographic
中心 是 對於 在
測量
0.0 and
圓周角度
東
的
meridian
的
object
地理座標
測量
65.0 and
圓周角度
的
region
南
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