exportPartnerByRankInPeriod |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage exportPartnerByRankInPeriod "%1 %n{不} 对 %3 和 %4 在周期 %2 由阶级 export 伙伴") | domainEnglishFormat.kif 967-967 | |
(format ChineseTraditionalLanguage exportPartnerByRankInPeriod "%1 %n{不} 對 %3 和 %4 在週期 %2 由階級 export 夥伴") | domainEnglishFormat.kif 966-966 | |
(format EnglishLanguage exportPartnerByRankInPeriod "%1 %n{doesn't} export partner by rank in period %2 for %3 with %4") | domainEnglishFormat.kif 965-965 | |
(termFormat ChineseLanguage exportPartnerByRankInPeriod "出口合作伙伴按期间排名") | domainEnglishFormat.kif 22924-22924 | |
(termFormat ChineseTraditionalLanguage exportPartnerByRankInPeriod "出口合作夥伴按期間排名") | domainEnglishFormat.kif 22923-22923 | |
(termFormat EnglishLanguage exportPartnerByRankInPeriod "export partner by rank in period") | domainEnglishFormat.kif 22922-22922 |
antecedent |
(<=> (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2511-2516 | exportPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal |