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
域
按等級出口商品類型
, 1 and
GeopoliticalArea
(
domain
exportCommodityTypeByRank
3
PositiveInteger
)
Economy.kif 2324-2324
域
按等級出口商品類型
, 3 and
PositiveInteger
(
domainSubclass
exportCommodityTypeByRank
2
Object
)
Economy.kif 2323-2323
域子類
按等級出口商品類型
, 2 and
Object
(
instance
exportCommodityTypeByRank
TernaryPredicate
)
Economy.kif 2321-2321
例
按等級出口商品類型
and
TernaryPredicate
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
GeopoliticalArea
對於
PositiveInteger
由階級
Object
export
商品類別
Object
是
GeopoliticalArea
的
export
商品種類
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