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
exportCommodityTypeByRank
の数値 1 引数は
地政学的地域
の
instance
では %n
(
domain
exportCommodityTypeByRank
3
PositiveInteger
)
Economy.kif 2324-2324
exportCommodityTypeByRank
の数値 3 引数は
正の整数
の
instance
では %n
(
domainSubclass
exportCommodityTypeByRank
2
Object
)
Economy.kif 2323-2323
exportCommodityTypeByRank
の数値 2 引数は
オブジェクト
の
subclass
では %n
(
instance
exportCommodityTypeByRank
TernaryPredicate
)
Economy.kif 2321-2321
exportCommodityTypeByRank
は
3進述語
の
instance
では %n
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
exportCommodityTypeByRank
地政学的地域
,
オブジェクト
and
正の整数
exportCommodityType
地政学的地域
and
オブジェクト
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