Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
The number 1 argument of
directional subregion
is an
instance
of
directional attribute
(
domain
DirectionalSubregionFn
2
GeographicArea
)
Geography.kif 478-478
The number 2 argument of
directional subregion
is an
instance
of
geographic area
(
instance
DirectionalSubregionFn
BinaryFunction
)
Geography.kif 476-476
Directional subregion
is an
instance
of
binary function
(
range
DirectionalSubregionFn
GeographicArea
)
Geography.kif 479-479
The
range
of
directional subregion
is an instance of
geographic area
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 19695-19695
(
termFormat
ChineseTraditionalLanguage
DirectionalSubregionFn
"定向分區域")
domainEnglishFormat.kif 19694-19694
(
termFormat
EnglishLanguage
DirectionalSubregionFn
"directional subregion")
domainEnglishFormat.kif 19693-19693
antecedent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
If
a directional attribute
is an
instance
of
directional attribute
and
a geographic area
is an
instance
of
geographic area
and the
directional
subregion of
the directional attribute
and
the geographic area
is an
instance
of
geographic area
,
then the
directional
subregion of
the directional attribute
and
the geographic area
is a
geographic
subregion of
the geographic area
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
If
a directional attribute
is an
instance
of
directional attribute
and
a geographic area
is an
instance
of
geographic area
and the
directional
subregion of
the directional attribute
and
the geographic area
is an
instance
of
geographic area
,
then the
directional
subregion of
the directional attribute
and
the geographic area
is
the directional attribute
to the
geographic
center of
the geographic area
consequent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
If
a directional attribute
is an
instance
of
directional attribute
and
a geographic area
is an
instance
of
geographic area
and the
directional
subregion of
the directional attribute
and
the geographic area
is an
instance
of
geographic area
,
then the
directional
subregion of
the directional attribute
and
the geographic area
is a
geographic
subregion of
the geographic area
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
If
a directional attribute
is an
instance
of
directional attribute
and
a geographic area
is an
instance
of
geographic area
and the
directional
subregion of
the directional attribute
and
the geographic area
is an
instance
of
geographic area
,
then the
directional
subregion of
the directional attribute
and
the geographic area
is
the directional attribute
to the
geographic
center of
the geographic area
statement
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
French southern and antarctic lands
is
located
at the
directional
subregion of
south
and
indian ocean
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
