agreementEffectiveDate |
appearance as argument number 1 |
(documentation agreementEffectiveDate EnglishLanguage "(agreementEffectiveDate ?AGREEMENT ?TIME) means that ?AGREEMENT goes into effect at TimePoint ?TIME, and remains an ActiveAgreement for TimeDuration ?DURATION.") | Mid-level-ontology.kif 14053-14055 | |
(domain agreementEffectiveDate 1 Agreement) | Mid-level-ontology.kif 14051-14051 | The number 1 argument of agreement effective date is an instance of agreement |
(domain agreementEffectiveDate 2 TimePoint) | Mid-level-ontology.kif 14052-14052 | The number 2 argument of agreement effective date is an instance of time point |
(instance agreementEffectiveDate BinaryPredicate) | Mid-level-ontology.kif 14050-14050 | agreement effective date is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage agreementEffectiveDate "%2 %n 是 %1 的 agreement 生效日期") | domainEnglishFormat.kif 84-84 | |
(format ChineseTraditionalLanguage agreementEffectiveDate "%2 %n 是 %1 的 agreement 生效日期") | domainEnglishFormat.kif 83-83 | |
(format EnglishLanguage agreementEffectiveDate "%2 is %n an agreement effective date of %1") | domainEnglishFormat.kif 82-82 | |
(termFormat ChineseLanguage agreementEffectiveDate "协议生效日期") | domainEnglishFormat.kif 5904-5904 | |
(termFormat ChineseTraditionalLanguage agreementEffectiveDate "協議生效日期") | domainEnglishFormat.kif 5903-5903 | |
(termFormat EnglishLanguage agreementEffectiveDate "agreement effective date") | domainEnglishFormat.kif 5902-5902 |
antecedent |
consequent |
appearance as argument number 0 |
(agreementEffectiveDate AntarcticTreaty (instance ?D (DayFn 23 (MonthFn June (YearFn 1961))))) |
Geography.kif 3193-3193 | ?D is an instance of the day 23 is an agreement effective date of antarctic treaty |