TreeView Knowledge Base Browser - agreementEffectiveDuring

appearance as argument number 2

(format ChineseLanguage agreementEffectiveDuring "%2 %n 是 %1 的 agreement 生效其间")	domainEnglishFormat.kif 88-88
(format ChineseTraditionalLanguage agreementEffectiveDuring "%2 %n 是 %1 的 agreement 生效其間")	domainEnglishFormat.kif 87-87
(format EnglishLanguage agreementEffectiveDuring "%2 is %n an agreement effective during of %1")	domainEnglishFormat.kif 86-86
(termFormat ChineseLanguage agreementEffectiveDuring "协议有效期间")	domainEnglishFormat.kif 5910-5910
(termFormat ChineseTraditionalLanguage agreementEffectiveDuring "協議有效期間")	domainEnglishFormat.kif 5909-5909
(termFormat EnglishLanguage agreementEffectiveDuring "agreement effective during")	domainEnglishFormat.kif 5908-5908

antecedent

(=> (and (agreementEffectiveDuring ?AGR ?DATE) (instance ?TIME ?DATE) (instance ?FORMULA Formula) (containsInformation ?FORMULA ?AGR)) (holdsDuring ?TIME ?FORMULA))	Government.kif 766-772	TimePosition 是 Proposition 的 agreement 生效其間例 TimePosition and TimePosition 例 Formula and Formula 包含信息 Formula and Proposition 持有期間 TimePosition and Formula
(=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (instance (WhenFn ?GOV) ?CLASS) (agreementEffectiveDuring ?CONST ?CLASS) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV))	Government.kif 774-783	例 Proposition and GeopoliticalArea 的 constitution 例 GeopoliticalArea and Nation 等於 Government and 政府 GeopoliticalArea 例何時 Government and TimePosition TimePosition 是 Proposition 的 agreement 生效其間次提案 Proposition and Proposition 包含信息 Formula and Proposition 持有義務 Formula and Government