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
GeographicCenterFn
の数値 1 引数は
地理的地域
の
instance
では %n
(
instance
GeographicCenterFn
UnaryFunction
)
Geography.kif 333-333
GeographicCenterFn
は
1変数関数
の
instance
では %n
(
range
GeographicCenterFn
GeographicArea
)
Geography.kif 336-336
GeographicCenterFn
の
range
は
地理的地域
のインスタンス では %n
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
GeographicCenterFn
は "geographic center" の
name
を 持って %n{ない}
(
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
地理的地域
は
地理的地域
の
instance
では %n
GeographicCenterFn
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
GeographicCenterFn
地理的地域
and
地理的地域
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
地理的地域
は
地理的地域
の
instance
では %n
objectGeographicCoordinates
GeographicCenterFn
地理的地域
,
Latitude
and
Longitude
objectGeographicCoordinates
地理的地域
,
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
方向属性
は
方向属性
の
instance
では %n
地理的地域
は
地理的地域
の
instance
では %n
DirectionalSubregionFn
方向属性
and
地理的地域
は
地理的地域
の
instance
では %n
DirectionalSubregionFn
方向属性
and
地理的地域
は
方向属性
対
GeographicCenterFn
地理的地域
では %n
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
地理的地域
は
地理的地域
の
instance
では %n
GeographicCenterFn
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
GeographicCenterFn
地理的地域
and
地理的地域
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