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
O argumento numero 1 de
GeographicCenterFn
e' uma
instancia
de
Area Geografica
(
instance
GeographicCenterFn
UnaryFunction
)
Geography.kif 333-333
GeographicCenterFn
e' uma
instancia
de
funcao Unaria
(
range
GeographicCenterFn
GeographicArea
)
Geography.kif 336-336
O
contra
-dominio de
GeographicCenterFn
e' uma instancia de
Area Geografica
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
se chama
nome
"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
Area Geografica
e' uma
instancia
de
Area Geografica
GeographicCenterFn
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
GeographicCenterFn
Area Geografica
and
Area Geografica
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
Area Geografica
e' uma
instancia
de
Area Geografica
objectGeographicCoordinates
GeographicCenterFn
Area Geografica
,
Latitude
and
Longitude
objectGeographicCoordinates
Area Geografica
,
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
Atributo Directional
e' uma
instancia
de
Atributo Directional
Area Geografica
e' uma
instancia
de
Area Geografica
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
e' uma
instancia
de
Area Geografica
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
e'
Atributo Directional
em relacao a
GeographicCenterFn
Area Geografica
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
Area Geografica
e' uma
instancia
de
Area Geografica
GeographicCenterFn
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
GeographicCenterFn
Area Geografica
and
Area Geografica
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