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
HaploidCell
Sigma KEE - MaritimeContiguousZoneFn
MaritimeContiguousZoneFn
appearance as argument number 1
(
documentation
MaritimeContiguousZoneFn
EnglishLanguage
"(
MaritimeContiguousZoneFn
?POLITY) denotes the
MaritimeContiguousZone
that is claimed by the
GeopoliticalArea
?POLITY.")
Geography.kif 1046-1048
(
domain
MaritimeContiguousZoneFn
1
GeopoliticalArea
)
Geography.kif 1043-1043
Le nombre 1 argument de
MaritimeContiguousZoneFn
est une
instance
de
secteur g�opolitique
(
instance
MaritimeContiguousZoneFn
UnaryFunction
)
Geography.kif 1042-1042
MaritimeContiguousZoneFn
est une
instance
de
function unaire
(
range
MaritimeContiguousZoneFn
MaritimeContiguousZone
)
Geography.kif 1044-1044
Le
domaine
de
MaritimeContiguousZoneFn
est une instance de
MaritimeContiguousZone
appearance as argument number 2
(
format
ChineseLanguage
MaritimeContiguousZoneFn
"%1 的 maritime 鄰近區")
domainEnglishFormat.kif 1627-1627
(
format
ChineseTraditionalLanguage
MaritimeContiguousZoneFn
"%1 的 maritime 鄰近區")
domainEnglishFormat.kif 1626-1626
(
format
EnglishLanguage
MaritimeContiguousZoneFn
"the maritime contiguous zone of %1")
domainEnglishFormat.kif 1625-1625
(
termFormat
ChineseLanguage
MaritimeContiguousZoneFn
"海上毗连区")
domainEnglishFormat.kif 36215-36215
(
termFormat
ChineseTraditionalLanguage
MaritimeContiguousZoneFn
"海上毗連區")
domainEnglishFormat.kif 36214-36214
(
termFormat
EnglishLanguage
MaritimeContiguousZoneFn
"maritime contiguous zone")
domainEnglishFormat.kif 36213-36213
antecedent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeContiguousZoneFn
?AREA)
MaritimeContiguousZone
))
(
claimedTerritory
(
MaritimeContiguousZoneFn
?AREA) ?AREA))
Geography.kif 1050-1054
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
MaritimeContiguousZoneFn
secteur g�opolitique
est une
instance
de
MaritimeContiguousZone
claimedTerritory
MaritimeContiguousZoneFn
secteur g�opolitique
and
secteur g�opolitique
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeContiguousZoneFn
?AREA)
MaritimeContiguousZone
))
(
claimedTerritory
(
MaritimeContiguousZoneFn
?AREA) ?AREA))
Geography.kif 1050-1054
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
MaritimeContiguousZoneFn
secteur g�opolitique
est une
instance
de
MaritimeContiguousZone
claimedTerritory
MaritimeContiguousZoneFn
secteur g�opolitique
and
secteur g�opolitique
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