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
Il numero 1 argomenti di
DirectionalSubregionFn
è un
istanza
di
AttributoDirezionale
(
domain
DirectionalSubregionFn
2
GeographicArea
)
Geography.kif 478-478
Il numero 2 argomenti di
DirectionalSubregionFn
è un
istanza
di
AreaGeografica
(
instance
DirectionalSubregionFn
BinaryFunction
)
Geography.kif 476-476
DirectionalSubregionFn
è un'
istanza
di
FunzioneBinaria
(
range
DirectionalSubregionFn
GeographicArea
)
Geography.kif 479-479
rango
di
DirectionalSubregionFn
è un'istanza di
AreaGeografica
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
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
and
AreaGeografica
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è
AttributoDirezionale
a
GeographicCenterFn
AreaGeografica
consequent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
and
AreaGeografica
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è
AttributoDirezionale
a
GeographicCenterFn
AreaGeografica
statement
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
FrenchSouthernAndAntarcticLands
è
localizzato
in
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