importCommodityTypeByRank - Sigma Knowledge base Browser

appearance as argument number 1

(instance importCommodityTypeByRank TernaryPredicate)	Economy.kif 2949-2949	import commodity type by rank is an instance of ternary predicate
(domain importCommodityTypeByRank 1 GeopoliticalArea)	Economy.kif 2950-2950	The number 1 argument of import commodity type by rank is an instance of geopolitical area
(domainSubclass importCommodityTypeByRank 2 Object)	Economy.kif 2951-2951	The number 2 argument of import commodity type by rank is a subclass of object
(domain importCommodityTypeByRank 3 PositiveInteger)	Economy.kif 2952-2952	The number 3 argument of import commodity type by rank is an instance of positive integer
(documentation importCommodityTypeByRank EnglishLanguage "(importCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH most valuable import.")	Economy.kif 2954-2957	The number 3 argument of import commodity type by rank is an instance of positive integer

appearance as argument number 2

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

antecedent

(=>
(importCommodityTypeByRank ?AREA ?TYPE ?RANK)
(importCommodityType ?AREA ?TYPE))

If X import commodity type by rank Y for Z, then Y is an import commodity type of X