Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
MaritimeClaimsTerritorialSeaFn
Sigma KEE - MaritimeClaimsTerritorialSeaFn
MaritimeClaimsTerritorialSeaFn
appearance as argument number 1
(
documentation
MaritimeClaimsTerritorialSeaFn
EnglishLanguage
"(
MaritimeClaimsTerritorialSeaFn
?REGION) denotes a peripheral zones of maritime control extending outward from the
Region
?REGION.")
Geography.kif 948-950
(
domain
MaritimeClaimsTerritorialSeaFn
1
Region
)
Geography.kif 946-946
The number 1 argument of
maritime claims territorial sea
is an
instance
of
region
(
instance
MaritimeClaimsTerritorialSeaFn
UnaryFunction
)
Geography.kif 945-945
Maritime claims territorial sea
is an
instance
of
unary function
(
range
MaritimeClaimsTerritorialSeaFn
PerimeterArea
)
Geography.kif 947-947
The
range
of
maritime claims territorial sea
is an instance of
perimeter area
appearance as argument number 2
(
format
ChineseLanguage
MaritimeClaimsTerritorialSeaFn
"maritime 宣称 1% 的海洋领土")
domainEnglishFormat.kif 1623-1623
(
format
ChineseTraditionalLanguage
MaritimeClaimsTerritorialSeaFn
"maritime 宣稱 1% 的海洋領土")
domainEnglishFormat.kif 1622-1622
(
format
EnglishLanguage
MaritimeClaimsTerritorialSeaFn
"the maritime claims territorial sea of %1")
domainEnglishFormat.kif 1621-1621
(
termFormat
ChineseLanguage
MaritimeClaimsTerritorialSeaFn
"海上主张领海")
domainEnglishFormat.kif 36206-36206
(
termFormat
ChineseTraditionalLanguage
MaritimeClaimsTerritorialSeaFn
"海上主張領海")
domainEnglishFormat.kif 36205-36205
(
termFormat
EnglishLanguage
MaritimeClaimsTerritorialSeaFn
"maritime claims territorial sea")
domainEnglishFormat.kif 36204-36204
antecedent
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 1039-1045
If
an object
is an
instance
of the
maritime
claims territorial sea of
a region
and the
width
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
a physical
and
the region
is
another real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then
the physical
is
located
at
the object
consequent
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
(
PerimeterAreaFn
?region)))
Geography.kif 952-954
If
a region
is an
instance
of
geopolitical area
,
then the
maritime
claims territorial sea of
the region
is an
instance
of the
perimeter
area of
the region
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
UniformPerimeterArea
))
Geography.kif 956-958
If
a region
is an
instance
of
geopolitical area
,
then the
maritime
claims territorial sea of
the region
is an
instance
of
uniform perimeter area
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
