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
海事索赔类型
的 1 数量 是
地缘政治区域
的
instance
(
domainSubclass
maritimeClaimType
2
MaritimeClaimArea
)
Geography.kif 977-977
海事索赔类型
的 2 数量 是
海事索赔区
的
subclass
(
instance
maritimeClaimType
AsymmetricRelation
)
Geography.kif 975-975
海事索赔类型
是
非对称关系
的
instance
(
instance
maritimeClaimType
BinaryPredicate
)
Geography.kif 974-974
海事索赔类型
是
二元谓语
的
instance
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
如果
有点 海事索赔区
是
地缘政治区域
的
maritime
要求类型 和
有点 海事索赔区
是
海事索赔区
的
subclass
,
然后 有存在
地理区域
这样
那个 地理区域
是
那个 有点 海事索赔区
的
instance
和
那个 地缘政治区域
是
那个 地理区域
的
claimed
领土
consequent
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
如果
地理区域
是
有点 海事索赔区
的
instance
和
有点 海事索赔区
是
海事索赔区
的
subclass
和
地缘政治区域
是
那个 地理区域
的
claimed
领土,
然后
那个 有点 海事索赔区
是
那个 地缘政治区域
的
maritime
要求类型
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
如果
地缘政治区域
是
内陆地区
的
instance
和
有点 海事索赔区
是
海事索赔区
的
subclass
,
然后
有点 海事索赔区
不 是
那个 地缘政治区域
的
maritime
要求类型
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