agreementRevisionDate |
appearance as argument number 1 |
(documentation agreementRevisionDate EnglishLanguage "(agreementRevisionDate ?AGR ?DATE ?CHANGE) means that the agreement ?AGR was revised at the time indicated by ?DATE, with respect to the part ?CHANGE. Revisions cover additions and removals.") | Government.kif 733-736 | |
(domain agreementRevisionDate 1 Proposition) | Government.kif 729-729 | O argumento numero 1 de agreementRevisionDate e' uma instancia de Proposicao |
(domain agreementRevisionDate 3 Proposition) | Government.kif 731-731 | O argumento numero 3 de agreementRevisionDate e' uma instancia de Proposicao |
(domainSubclass agreementRevisionDate 2 TimePosition) | Government.kif 730-730 | O argumento numero 2 de agreementRevisionDate e' uma sub-classe de Posicao Temporal |
(instance agreementRevisionDate TernaryPredicate) | Government.kif 728-728 | agreementRevisionDate e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
(format ChineseLanguage agreementRevisionDate "%1 %n{不是} agreement 对于 %3 的修改日期 %2 ") | domainEnglishFormat.kif 100-100 | |
(format ChineseTraditionalLanguage agreementRevisionDate "%1 %n{不是} agreement 對於 %3 的修改日期 %2 ") | domainEnglishFormat.kif 99-99 | |
(format EnglishLanguage agreementRevisionDate "%1 %n{doesn't} agreement revision date %2 for %3 ") | domainEnglishFormat.kif 98-98 | |
(termFormat ChineseLanguage agreementRevisionDate "协议修订日期") | domainEnglishFormat.kif 5928-5928 | |
(termFormat ChineseTraditionalLanguage agreementRevisionDate "協議修訂日期") | domainEnglishFormat.kif 5927-5927 | |
(termFormat EnglishLanguage agreementRevisionDate "agreement revision date") | domainEnglishFormat.kif 5926-5926 |
antecedent |
(=> (agreementRevisionDate ?AGR ?DATE ?CHANGE) (exists (?TIME) (and (instance ?TIME ?DATE) (or (and (holdsDuring (ImmediatePastFn ?TIME) (not (subProposition ?CHANGE ?AGR))) (holdsDuring (ImmediateFutureFn ?TIME) (subProposition ?CHANGE ?AGR))) (and (holdsDuring (ImmediatePastFn ?TIME) (subProposition ?CHANGE ?AGR)) (holdsDuring (ImmediateFutureFn ?TIME) (not (subProposition ?CHANGE ?AGR)))))))) |
Government.kif 738-753 |
|