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
dependentAreaOfType
Sigma KEE - dependentAreaOfType
dependentAreaOfType
appearance as argument number 1
(
documentation
dependentAreaOfType
EnglishLanguage
"(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE) means that the
GeopoliticalArea
?AREA is a dependency of the independent
Nation
?COUNTRY, administered as a unit of ?TYPE. For example, (
dependentAreaOfType
SaintHelena
UnitedKingdom
OverseasArea
).")
Government.kif 89-93
(
domain
dependentAreaOfType
1
GeopoliticalArea
)
Government.kif 85-85
域
依賴的類型區域
, 1 and
GeopoliticalArea
(
domain
dependentAreaOfType
2
GeopoliticalArea
)
Government.kif 86-86
域
依賴的類型區域
, 2 and
GeopoliticalArea
(
domainSubclass
dependentAreaOfType
3
GeopoliticalArea
)
Government.kif 87-87
域子類
依賴的類型區域
, 3 and
GeopoliticalArea
(
instance
dependentAreaOfType
TernaryPredicate
)
Government.kif 84-84
例
依賴的類型區域
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
dependentAreaOfType
"%1 %n{不是} 对于 %3
de
pendent 区域的类别 %2")
domainEnglishFormat.kif 712-712
(
format
ChineseTraditionalLanguage
dependentAreaOfType
"%1 %n{不是} 對於 %3
de
pendent 區域的類別 %2 ")
domainEnglishFormat.kif 711-711
(
format
EnglishLanguage
dependentAreaOfType
"%1 %n{doesn't}
de
pendent area of type %2 for %3")
domainEnglishFormat.kif 710-710
(
termFormat
ChineseLanguage
dependentAreaOfType
"依赖的类型区域")
domainEnglishFormat.kif 19122-19122
(
termFormat
ChineseTraditionalLanguage
dependentAreaOfType
"依賴的類型區域")
domainEnglishFormat.kif 19121-19121
(
termFormat
EnglishLanguage
dependentAreaOfType
"dependent area of type")
domainEnglishFormat.kif 19120-19120
antecedent
(=>
(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE)
(
dependentGeopoliticalArea
?AREA ?COUNTRY))
Government.kif 437-439
GeopoliticalArea
對於
GeopoliticalArea
dependent
區域的類別
GeopoliticalArea
GeopoliticalArea
是
GeopoliticalArea
的
dependent
(=>
(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE)
(
instance
?AREA ?TYPE))
Government.kif 95-97
GeopoliticalArea
對於
GeopoliticalArea
dependent
區域的類別
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
consequent
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?AREA
(
OverseasAreaFn
?COUNTRY)))
(
dependentAreaOfType
?AREA ?COUNTRY
OverseasArea
))
Government.kif 471-475
例
GeopoliticalArea
and
Nation
例
GeopoliticalArea
and
GeopoliticalArea
的
overseas
區域
GeopoliticalArea
對於
海外地區
dependent
區域的類別
GeopoliticalArea
(=>
(
instance
?AREA
BritishCrownColony
)
(
dependentAreaOfType
?AREA
UnitedKingdom
BritishCrownColony
))
Government.kif 485-487
例
GeopoliticalArea
and
英國皇家殖民地
GeopoliticalArea
對於
英國皇家殖民地
dependent
區域的類別
英國
(=>
(
instance
?AREA
UnincorporatedUnitedStatesTerritory
)
(
dependentAreaOfType
?AREA
UnitedStates
OverseasArea
))
Government.kif 479-481
例
GeopoliticalArea
and
非法人團結的美國領土
GeopoliticalArea
對於
海外地區
dependent
區域的類別
美國
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