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
Presbyterian
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
Die Zahl 1 Argument von
DirectionalSubregionFn
ist ein
fall
von
DirectionalAttribute
%n{nicht}
(
domain
DirectionalSubregionFn
2
GeographicArea
)
Geography.kif 478-478
Die Zahl 2 Argument von
DirectionalSubregionFn
ist ein
fall
von
GeographicArea
%n{nicht}
(
instance
DirectionalSubregionFn
BinaryFunction
)
Geography.kif 476-476
DirectionalSubregionFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
range
DirectionalSubregionFn
GeographicArea
)
Geography.kif 479-479
bildbereich
von
DirectionalSubregionFn
ist ein fall von
GeographicArea
{nicht}
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
Wenn
DirectionalAttribute
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
geographicSubregion
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
and
** GeographicArea
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
Wenn
DirectionalAttribute
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist
** DirectionalAttribute
hinsichlich
GeographicCenterFn
** GeographicArea
%n{nicht}
consequent
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
Wenn
DirectionalAttribute
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
geographicSubregion
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
and
** GeographicArea
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
Wenn
DirectionalAttribute
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist
** DirectionalAttribute
hinsichlich
GeographicCenterFn
** GeographicArea
%n{nicht}
statement
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
FrenchSouthernAndAntarcticLands
befindet
sich an %n{nicht}
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