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
RichterMagnitude
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
Il numero 1 argomenti di
maritimeClaimType
è un
istanza
di
AreaGeopolitica
(
domainSubclass
maritimeClaimType
2
MaritimeClaimArea
)
Geography.kif 977-977
Il numero 2 argomento
maritimeClaimType
è una
sottoclasse
di
MaritimeClaimArea
(
instance
maritimeClaimType
AsymmetricRelation
)
Geography.kif 975-975
maritimeClaimType
è un'
istanza
di
RelazioneAsimmetrica
(
instance
maritimeClaimType
BinaryPredicate
)
Geography.kif 974-974
maritimeClaimType
è un'
istanza
di
PredicatoBinario
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
maritimeClaimType
AreaGeopolitica
and
MaritimeClaimArea
MaritimeClaimArea
è una
sottoclasse
di
MaritimeClaimArea
AreaGeografica
AreaGeografica
è un'
istanza
di
MaritimeClaimArea
claimedTerritory
AreaGeografica
and
AreaGeopolitica
consequent
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
AreaGeografica
è un'
istanza
di
MaritimeClaimArea
MaritimeClaimArea
è una
sottoclasse
di
MaritimeClaimArea
claimedTerritory
AreaGeografica
and
AreaGeopolitica
maritimeClaimType
AreaGeopolitica
and
MaritimeClaimArea
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
AreaGeopolitica
è un'
istanza
di
LandlockedArea
MaritimeClaimArea
è una
sottoclasse
di
MaritimeClaimArea
maritimeClaimType
AreaGeopolitica
and
MaritimeClaimArea
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