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
exportCommodityTypeByRank
Sigma KEE - exportCommodityTypeByRank
exportCommodityTypeByRank
appearance as argument number 1
(
documentation
exportCommodityTypeByRank
EnglishLanguage
"(
exportCommodityTypeByRank
?AREA ?TYPE ?NTH) means that the
GeopoliticalArea
?AREA has the commodity ?TYPE as its ?NTH most valuable export.")
Economy.kif 2326-2329
(
domain
exportCommodityTypeByRank
1
GeopoliticalArea
)
Economy.kif 2322-2322
The number 1 argument of
export commodity type by rank
is an
instance
of
geopolitical area
(
domain
exportCommodityTypeByRank
3
PositiveInteger
)
Economy.kif 2324-2324
The number 3 argument of
export commodity type by rank
is an
instance
of
positive integer
(
domainSubclass
exportCommodityTypeByRank
2
Object
)
Economy.kif 2323-2323
The number 2 argument of
export commodity type by rank
is a
subclass
of
object
(
instance
exportCommodityTypeByRank
TernaryPredicate
)
Economy.kif 2321-2321
export commodity type by rank
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
exportCommodityTypeByRank
"%1 %n{不} 对于 %3 由阶级 %2 export 商品类别")
domainEnglishFormat.kif 947-947
(
format
ChineseTraditionalLanguage
exportCommodityTypeByRank
"%1 %n{不} 對於 %3 由階級 %2 export 商品類別")
domainEnglishFormat.kif 946-946
(
format
EnglishLanguage
exportCommodityTypeByRank
"%1 %n{doesn't} export commodity type by rank %2 for %3")
domainEnglishFormat.kif 945-945
(
termFormat
ChineseLanguage
exportCommodityTypeByRank
"按等级出口商品类型")
domainEnglishFormat.kif 22888-22888
(
termFormat
ChineseTraditionalLanguage
exportCommodityTypeByRank
"按等級出口商品類型")
domainEnglishFormat.kif 22887-22887
(
termFormat
EnglishLanguage
exportCommodityTypeByRank
"export commodity type by rank")
domainEnglishFormat.kif 22886-22886
antecedent
(=>
(
exportCommodityTypeByRank
?AREA ?TYPE ?RANK)
(
exportCommodityType
?AREA ?TYPE))
Economy.kif 2331-2333
If
a geopolitical area
export
commodity type by rank
a kind of object
for
a positive integer
,
then
a kind of object
is an
export
commodity type of
the geopolitical area
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