importPartnerByRankInPeriod |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage importPartnerByRankInPeriod "%1 %n{不} 对于 %3 和 %4 在周期 %2 由阶级 import 伙伴") | domainEnglishFormat.kif 1277-1277 | |
(format ChineseTraditionalLanguage importPartnerByRankInPeriod "%1 %n{不} 對於 %3 和 %4 在週期 %2 由階級 import 夥伴") | domainEnglishFormat.kif 1276-1276 | |
(format EnglishLanguage importPartnerByRankInPeriod "%1 %n{doesn't} import partner by rank in period %2 for %3 with %4") | domainEnglishFormat.kif 1275-1275 | |
(termFormat ChineseLanguage importPartnerByRankInPeriod "按期间排名的进口伙伴") | domainEnglishFormat.kif 29437-29437 | |
(termFormat ChineseTraditionalLanguage importPartnerByRankInPeriod "按期間排名的進口夥伴") | domainEnglishFormat.kif 29436-29436 | |
(termFormat EnglishLanguage importPartnerByRankInPeriod "import partner by rank in period") | domainEnglishFormat.kif 29435-29435 |
antecedent |
(<=> (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2704-2709 | importPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal |