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
maritimeClaimType
Sigma KEE - maritimeClaimType
maritimeClaimType
appearance as argument number 1
(
documentation
maritimeClaimType
EnglishLanguage
"(
maritimeClaimType
?POLITY ?TYPE) means that the
GeopoliticalArea
?POLITY claims rights over a
MaritimeClaimArea
of ?TYPE.")
Geography.kif 979-981
(
domain
maritimeClaimType
1
GeopoliticalArea
)
Geography.kif 976-976
The number 1 argument of
maritime claim type
is an
instance
of
geopolitical area
(
domainSubclass
maritimeClaimType
2
MaritimeClaimArea
)
Geography.kif 977-977
The number 2 argument of
maritime claim type
is a
subclass
of
maritime claim area
(
instance
maritimeClaimType
AsymmetricRelation
)
Geography.kif 975-975
maritime claim type
is an
instance
of
asymmetric relation
(
instance
maritimeClaimType
BinaryPredicate
)
Geography.kif 974-974
maritime claim type
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
maritimeClaimType
"%2 %n 是 %1 的 maritime 要求类型")
domainEnglishFormat.kif 1623-1623
(
format
ChineseTraditionalLanguage
maritimeClaimType
"%2 %n 是 %1 的 maritime 要求類型")
domainEnglishFormat.kif 1622-1622
(
format
EnglishLanguage
maritimeClaimType
"%2 is %n a maritime claim type of %1")
domainEnglishFormat.kif 1621-1621
(
termFormat
ChineseLanguage
maritimeClaimType
"海事索赔类型")
domainEnglishFormat.kif 36203-36203
(
termFormat
ChineseTraditionalLanguage
maritimeClaimType
"海事索賠類型")
domainEnglishFormat.kif 36202-36202
(
termFormat
EnglishLanguage
maritimeClaimType
"maritime claim type")
domainEnglishFormat.kif 36201-36201
antecedent
(=>
(
and
(
maritimeClaimType
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
))
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM ?TYPE)
(
claimedTerritory
?CLAIM ?AREA))))
Geography.kif 989-996
If
a kind of maritime claim area
is a
maritime
claim type of
a geopolitical area
and
a kind of maritime claim area
is a
subclass
of
maritime claim area
,
then there exists
a geographic area
such that
the geographic area
is an
instance
of
the kind of maritime claim area
and
the geopolitical area
is a
claimed
territory of
the geographic area
consequent
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
If
a geographic area
is an
instance
of
a kind of maritime claim area
and
a kind of maritime claim area
is a
subclass
of
maritime claim area
and
a geopolitical area
is a
claimed
territory of
the geographic area
,
then
the kind of maritime claim area
is a
maritime
claim type of
the geopolitical area
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
If
a geopolitical area
is an
instance
of
landlocked area
and
a kind of maritime claim area
is a
subclass
of
maritime claim area
,
then
a kind of maritime claim area
is not a
maritime
claim type of
the geopolitical 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