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
Il numero 1 argomenti di
ExclusiveFishingZoneFn
è un
istanza
di
AreaGeopolitica
(
instance
ExclusiveFishingZoneFn
UnaryFunction
)
Geography.kif 1148-1148
ExclusiveFishingZoneFn
è un'
istanza
di
FunzioneUnaria
(
range
ExclusiveFishingZoneFn
ExclusiveFishingZone
)
Geography.kif 1150-1150
rango
di
ExclusiveFishingZoneFn
è un'istanza di
ExclusiveFishingZone
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
ExclusiveFishingZoneFn
AreaGeopolitica
è un'
istanza
di
ExclusiveFishingZone
claimedTerritory
ExclusiveFishingZoneFn
AreaGeopolitica
and
AreaGeopolitica
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExclusiveFishingZoneFn
?AREA)
ExclusiveFishingZone
))
(
claimedTerritory
(
ExclusiveFishingZoneFn
?AREA) ?AREA))
Geography.kif 1157-1161
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
ExclusiveFishingZoneFn
AreaGeopolitica
è un'
istanza
di
ExclusiveFishingZone
claimedTerritory
ExclusiveFishingZoneFn
AreaGeopolitica
and
AreaGeopolitica
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