TreeView Knowledge Base Browser - importPartnerInPeriod

appearance as argument number 2

(format EnglishLanguage importPartnerInPeriod "%1 %n{doesn't} import partner in period %2 for %3")	domainEnglishFormat.kif 1279-1279
(format ChineseTraditionalLanguage importPartnerInPeriod "%1 %n{不} 對於 %3 在週期 %2 import 夥伴")	domainEnglishFormat.kif 1280-1280
(format ChineseLanguage importPartnerInPeriod "%1 %n{不} 对于 %3 在周期 %2 import 伙伴")	domainEnglishFormat.kif 1281-1281
(termFormat EnglishLanguage importPartnerInPeriod "import partner in period")	domainEnglishFormat.kif 29445-29445
(termFormat ChineseTraditionalLanguage importPartnerInPeriod "期間的進口夥伴")	domainEnglishFormat.kif 29446-29446
(termFormat ChineseLanguage importPartnerInPeriod "期间的进口伙伴")	domainEnglishFormat.kif 29447-29447

antecedent

(=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT2) (destination ?EXPORT ?AGENT1))))	Economy.kif 2979-2987	If X import partner in period Y for Z, then there exist W, V such that W is an instance of Z, V is an instance of exporting, the time of existence of V overlaps W, V originates at Y, and V ends up at X
(<=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (importPartner ?AGENT1 ?AGENT2)))))	Economy.kif 3006-3011	X import partner in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is an import partner of X holds during W