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
DirectionalSubregionFn
Sigma KEE - DirectionalSubregionFn
DirectionalSubregionFn
appearance as argument number 1
(
documentation
DirectionalSubregionFn
EnglishLanguage
"(
DirectionalSubregionFn
?DIRECTION ?AREA) denotes the part of
GeographicArea
?AREA that lies in ?DIRECTION from the geographic center of ?AREA. For example, (
DirectionalSubregionFn
Iraq
North
) denotes the Northern part of
Iraq
. Such subregions are defined purely by geographical points of reference, not by sociological ones. For example, (
DirectionalSubregionFn
UnitedStates
OfAmerica
South
) denotes the Southern half of the United States, it does not denote the American South as distinguished for historical, literary, or cultural purposes.")
Geography.kif 481-491
(
domain
DirectionalSubregionFn
1
DirectionalAttribute
)
Geography.kif 477-477
O argumento numero 1 de
DirectionalSubregionFn
e' uma
instancia
de
Atributo Directional
(
domain
DirectionalSubregionFn
2
GeographicArea
)
Geography.kif 478-478
O argumento numero 2 de
DirectionalSubregionFn
e' uma
instancia
de
Area Geografica
(
instance
DirectionalSubregionFn
BinaryFunction
)
Geography.kif 476-476
DirectionalSubregionFn
e' uma
instancia
de
Funcao Binaria
(
range
DirectionalSubregionFn
GeographicArea
)
Geography.kif 479-479
O
contra
-dominio de
DirectionalSubregionFn
e' uma instancia de
Area Geografica
appearance as argument number 2
(
format
ChineseLanguage
DirectionalSubregionFn
"%1 和 %2 的
direction
al 次要地区")
domainEnglishFormat.kif 756-756
(
format
ChineseTraditionalLanguage
DirectionalSubregionFn
"%1 和 %2 的
direction
al 次要地區")
domainEnglishFormat.kif 755-755
(
format
EnglishLanguage
DirectionalSubregionFn
"the
direction
al subregion of %1 and %2")
domainEnglishFormat.kif 754-754
(
termFormat
ChineseLanguage
DirectionalSubregionFn
"定向分区域")
domainEnglishFormat.kif 19698-19698
(
termFormat
ChineseTraditionalLanguage
DirectionalSubregionFn
"定向分區域")
domainEnglishFormat.kif 19697-19697
(
termFormat
EnglishLanguage
DirectionalSubregionFn
"directional subregion")
domainEnglishFormat.kif 19696-19696
antecedent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
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
geographicSubregion
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
and
Area Geografica
(=>
(
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
consequent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
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
geographicSubregion
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
and
Area Geografica
(=>
(
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
statement
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
FrenchSouthernAndAntarcticLands
e'
situado
em
DirectionalSubregionFn
South
and
IndianOcean
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