TreeView Knowledge Base Browser - exportPartnerByRank

appearance as argument number 1

(instance exportPartnerByRank TernaryPredicate)	Economy.kif 2735-2735	export partner by rank is an instance of ternary predicate
(domain exportPartnerByRank 1 GeopoliticalArea)	Economy.kif 2736-2736	The number 1 argument of export partner by rank is an instance of geopolitical area
(domain exportPartnerByRank 2 GeopoliticalArea)	Economy.kif 2737-2737	The number 2 argument of export partner by rank is an instance of geopolitical area
(domain exportPartnerByRank 3 PositiveInteger)	Economy.kif 2738-2738	The number 3 argument of export partner by rank is an instance of positive integer
(documentation exportPartnerByRank EnglishLanguage "(exportPartnerByRank ?AREA1 ?AREA2 ?NTH) means that the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea ?AREA2 and is the ?NTH most important export partner of ?AREA1, based on U.S. dollar value of exports.")	Economy.kif 2740-2744	The number 3 argument of export partner by rank is an instance of positive integer

appearance as argument number 2

(format EnglishLanguage exportPartnerByRank "%1 %n{doesn't} export partner by rank %2 for %3")	domainEnglishFormat.kif 961-961
(format ChineseTraditionalLanguage exportPartnerByRank "%1 %n{不} 對於 %3 由階級 %2 export 夥伴")	domainEnglishFormat.kif 962-962
(format ChineseLanguage exportPartnerByRank "%1 %n{不} 对于 %3 由阶级 %2 export 伙伴")	domainEnglishFormat.kif 963-963
(termFormat EnglishLanguage exportPartnerByRank "export partner by rank")	domainEnglishFormat.kif 22912-22912
(termFormat ChineseTraditionalLanguage exportPartnerByRank "按排名出口合作夥伴")	domainEnglishFormat.kif 22913-22913
(termFormat ChineseLanguage exportPartnerByRank "按排名出口合作伙伴")	domainEnglishFormat.kif 22914-22914

consequent

(<=>
    (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))

Economy.kif 2746-2751

X export partner by rank in period Y for Z with W if, only if there exists V such that V is an instance of W, and X export partner by rank Y for Z holds during V

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: