TreeView Knowledge Base Browser - exportPartnerInPeriod

appearance as argument number 2

(format EnglishLanguage exportPartnerInPeriod "%1 %n{doesn't} export partner in period %2 for %3")	domainEnglishFormat.kif 969-969
(format ChineseTraditionalLanguage exportPartnerInPeriod "%1 %n{不} 對於 %3 在週期 %2 export 夥伴")	domainEnglishFormat.kif 970-970
(format ChineseLanguage exportPartnerInPeriod "%1 %n{不} 对于 %3 在周期 %2 export 伙伴")	domainEnglishFormat.kif 971-971
(termFormat EnglishLanguage exportPartnerInPeriod "export partner in period")	domainEnglishFormat.kif 22924-22924
(termFormat ChineseTraditionalLanguage exportPartnerInPeriod "出口合作夥伴期間")	domainEnglishFormat.kif 22925-22925
(termFormat ChineseLanguage exportPartnerInPeriod "出口合作伙伴期间")	domainEnglishFormat.kif 22926-22926

antecedent

(=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME ?EXPORT) (and (instance ?TIME ?PERIOD) (instance ?EXPORT Exporting) (overlapsTemporally ?TIME (WhenFn ?EXPORT)) (origin ?EXPORT ?AGENT1) (destination ?EXPORT ?AGENT2))))	Economy.kif 2594-2602	If X export 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 X, and V ends up at Y
(<=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2622-2627	X export partner in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is an export partner of X holds during W