Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|