agreementAdoptionDate |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage agreementAdoptionDate "%2 %n 是 %1 的 agreement 采用日期") | domainEnglishFormat.kif 80-80 | |
(format ChineseTraditionalLanguage agreementAdoptionDate "%2 %n 是 %1 的 agreement 採用日期") | domainEnglishFormat.kif 79-79 | |
(format EnglishLanguage agreementAdoptionDate "%2 is %n an agreement adoption date of %1") | domainEnglishFormat.kif 78-78 | |
(termFormat ChineseLanguage agreementAdoptionDate "协议采用日期") | domainEnglishFormat.kif 5898-5898 | |
(termFormat ChineseTraditionalLanguage agreementAdoptionDate "協議採用日期") | domainEnglishFormat.kif 5897-5897 | |
(termFormat EnglishLanguage agreementAdoptionDate "agreement adoption date") | domainEnglishFormat.kif 5896-5896 |
antecedent |
![]() |
(=> (agreementAdoptionDate ?AGR ?DATE) (exists (?PROCESS ?DAY) (and (instance ?PROCESS Committing) (instance ?DAY ?DATE) (patient ?PROCESS ?AGR) (time ?PROCESS ?DAY)))) |
Government.kif 670-677 |
|
appearance as argument number 0 |
![]() |
(agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959)))) |
Geography.kif 3192-3192 | The day 1 is an agreement adoption date of antarctic treaty |
![]() |
![]() |