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
(
domainSubclass
maritimeClaimType
2
MaritimeClaimArea
)
Geography.kif 977-977
(
instance
maritimeClaimType
AsymmetricRelation
)
Geography.kif 975-975
(
instance
maritimeClaimType
BinaryPredicate
)
Geography.kif 974-974
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
consequent
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
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