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
Die Zahl 1 Argument von
maritimeClaimType
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
domainSubclass
maritimeClaimType
2
MaritimeClaimArea
)
Geography.kif 977-977
Die Zahl 2 Argument von
maritimeClaimType
ist eine
teilkategorie
von
MaritimeClaimArea
%n{nicht}
(
instance
maritimeClaimType
AsymmetricRelation
)
Geography.kif 975-975
maritimeClaimType
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
maritimeClaimType
BinaryPredicate
)
Geography.kif 974-974
maritimeClaimType
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
maritimeClaimType
GeopoliticalArea
and
** MaritimeClaimArea
und
** MaritimeClaimArea
ist eine
teilkategorie
von
MaritimeClaimArea
,
dann es gibt
GeographicArea
um
** GeographicArea
ist ein
fall
von
** ** MaritimeClaimArea
%n{nicht} und
claimedTerritory
** GeographicArea
and
** GeopoliticalArea
consequent
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
Wenn
GeographicArea
ist ein
fall
von
** MaritimeClaimArea
%n{nicht} und
** MaritimeClaimArea
ist eine
teilkategorie
von
MaritimeClaimArea
und
claimedTerritory
** GeographicArea
and
GeopoliticalArea
,
dann
maritimeClaimType
** GeopoliticalArea
and
** ** MaritimeClaimArea
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
Wenn
GeopoliticalArea
ist ein
fall
von
LandlockedArea
%n{nicht} und
** MaritimeClaimArea
ist eine
teilkategorie
von
MaritimeClaimArea
,
dann
maritimeClaimType
** GeopoliticalArea
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