exportCommodityTypeByRank - Sigma Knowledge base Browser

appearance as argument number 1

(instance exportCommodityTypeByRank TernaryPredicate)	Economy.kif 2556-2556	export commodity type by rank is an instance of ternary predicate
(domain exportCommodityTypeByRank 1 GeopoliticalArea)	Economy.kif 2557-2557	The number 1 argument of export commodity type by rank is an instance of geopolitical area
(domainSubclass exportCommodityTypeByRank 2 Object)	Economy.kif 2558-2558	The number 2 argument of export commodity type by rank is a subclass of object
(domain exportCommodityTypeByRank 3 PositiveInteger)	Economy.kif 2559-2559	The number 3 argument of export commodity type by rank is an instance of positive integer
(documentation exportCommodityTypeByRank EnglishLanguage "(exportCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH most valuable export.")	Economy.kif 2561-2564	The number 3 argument of export commodity type by rank is an instance of positive integer

appearance as argument number 2

(format EnglishLanguage exportCommodityTypeByRank "%1 %n{doesn't} export commodity type by rank %2 for %3")	domainEnglishFormat.kif 945-945
(format ChineseTraditionalLanguage exportCommodityTypeByRank "%1 %n{不} 對於 %3 由階級 %2 export 商品類別")	domainEnglishFormat.kif 946-946
(format ChineseLanguage exportCommodityTypeByRank "%1 %n{不} 对于 %3 由阶级 %2 export 商品类别")	domainEnglishFormat.kif 947-947
(termFormat EnglishLanguage exportCommodityTypeByRank "export commodity type by rank")	domainEnglishFormat.kif 22882-22882
(termFormat ChineseTraditionalLanguage exportCommodityTypeByRank "按等級出口商品類型")	domainEnglishFormat.kif 22883-22883
(termFormat ChineseLanguage exportCommodityTypeByRank "按等级出口商品类型")	domainEnglishFormat.kif 22884-22884

antecedent

(=>
(exportCommodityTypeByRank ?AREA ?TYPE ?RANK)
(exportCommodityType ?AREA ?TYPE))

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