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 GeopoliticalArea, ** GeopoliticalArea, PositiveInteger and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und importPartnerByRank ** GeopoliticalArea, ** ** GeopoliticalArea and ** PositiveInteger haelt waehrend ** TimePosition %n{nicht} |