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
ExclusiveFishingZoneFn
Sigma KEE - ExclusiveFishingZoneFn
ExclusiveFishingZoneFn
appearance as argument number 1
(
documentation
ExclusiveFishingZoneFn
EnglishLanguage
"(
ExclusiveFishingZoneFn
?POLITY) denotes the
ExclusiveFishingZone
that is claimed by the
GeopoliticalArea
?POLITY.")
Geography.kif 1152-1155
(
domain
ExclusiveFishingZoneFn
1
GeopoliticalArea
)
Geography.kif 1149-1149
ExclusiveFishingZoneFn
の数値 1 引数は
地政学的地域
の
instance
では %n
(
instance
ExclusiveFishingZoneFn
UnaryFunction
)
Geography.kif 1148-1148
ExclusiveFishingZoneFn
は
1変数関数
の
instance
では %n
(
range
ExclusiveFishingZoneFn
ExclusiveFishingZone
)
Geography.kif 1150-1150
ExclusiveFishingZoneFn
の
range
は
ExclusiveFishingZone
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
ExclusiveFishingZoneFn
"%1 的 exclusive 钓鱼区")
domainEnglishFormat.kif 927-927
(
format
ChineseTraditionalLanguage
ExclusiveFishingZoneFn
"%1 的 exclusive 釣魚區")
domainEnglishFormat.kif 926-926
(
format
EnglishLanguage
ExclusiveFishingZoneFn
"the exclusive fishing zone of %1")
domainEnglishFormat.kif 925-925
(
termFormat
ChineseLanguage
ExclusiveFishingZoneFn
"专属捕鱼区")
domainEnglishFormat.kif 22678-22678
(
termFormat
ChineseTraditionalLanguage
ExclusiveFishingZoneFn
"專屬捕魚區")
domainEnglishFormat.kif 22677-22677
(
termFormat
EnglishLanguage
ExclusiveFishingZoneFn
"exclusive fishing zone")
domainEnglishFormat.kif 22676-22676
antecedent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExclusiveFishingZoneFn
?AREA)
ExclusiveFishingZone
))
(
claimedTerritory
(
ExclusiveFishingZoneFn
?AREA) ?AREA))
Geography.kif 1157-1161
地政学的地域
は
地政学的地域
の
instance
では %n
ExclusiveFishingZoneFn
地政学的地域
は
ExclusiveFishingZone
の
instance
では %n
claimedTerritory
ExclusiveFishingZoneFn
地政学的地域
and
地政学的地域
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExclusiveFishingZoneFn
?AREA)
ExclusiveFishingZone
))
(
claimedTerritory
(
ExclusiveFishingZoneFn
?AREA) ?AREA))
Geography.kif 1157-1161
地政学的地域
は
地政学的地域
の
instance
では %n
ExclusiveFishingZoneFn
地政学的地域
は
ExclusiveFishingZone
の
instance
では %n
claimedTerritory
ExclusiveFishingZoneFn
地政学的地域
and
地政学的地域
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