Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  importCommodityTypeByRank

Sigma KEE - importCommodityTypeByRank
importCommodityTypeByRank

appearance as argument number 1
-------------------------


(documentation importCommodityTypeByRank EnglishLanguage "(importCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH most valuable import.") Economy.kif 2622-2625
(domain importCommodityTypeByRank 1 GeopoliticalArea) Economy.kif 2618-2618 按等级进口商品类型 的 1 数量 是 地缘政治区域instance
(domain importCommodityTypeByRank 3 PositiveInteger) Economy.kif 2620-2620 按等级进口商品类型 的 3 数量 是 正整数instance
(domainSubclass importCommodityTypeByRank 2 Object) Economy.kif 2619-2619 按等级进口商品类型 的 2 数量 是 客体subclass
(instance importCommodityTypeByRank TernaryPredicate) Economy.kif 2617-2617 按等级进口商品类型三元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage importCommodityTypeByRank "%1 %n{不} 对于 %3 由阶级 %2 import 商品类别") domainEnglishFormat.kif 1257-1257
(format ChineseTraditionalLanguage importCommodityTypeByRank "%1 %n{不} 對於 %3 由階級 %2 import 商品類別") domainEnglishFormat.kif 1256-1256
(format EnglishLanguage importCommodityTypeByRank "%1 %n{doesn't} import commodity type by rank %2 for %3") domainEnglishFormat.kif 1255-1255
(termFormat ChineseLanguage importCommodityTypeByRank "按等级进口商品类型") domainEnglishFormat.kif 29407-29407
(termFormat ChineseTraditionalLanguage importCommodityTypeByRank "按等級進口商品類型") domainEnglishFormat.kif 29406-29406
(termFormat EnglishLanguage importCommodityTypeByRank "import commodity type by rank") domainEnglishFormat.kif 29405-29405

antecedent
-------------------------


(=>
    (importCommodityTypeByRank ?AREA ?TYPE ?RANK)
    (importCommodityType ?AREA ?TYPE))
Economy.kif 2627-2629


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