TreeView Knowledge Base Browser - 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 696-699
(domain agreementRevisionDate 1 Proposition)	Government.kif 692-692	The number 1 argument of agreement revision date is an instance of proposition
(domain agreementRevisionDate 3 Proposition)	Government.kif 694-694	The number 3 argument of agreement revision date is an instance of proposition
(domainSubclass agreementRevisionDate 2 TimePosition)	Government.kif 693-693	The number 2 argument of agreement revision date is a subclass of time position
(instance agreementRevisionDate TernaryPredicate)	Government.kif 691-691	agreement revision date is an instance of ternary predicate

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 5933-5933
(termFormat ChineseTraditionalLanguage agreementRevisionDate "協議修訂日期")	domainEnglishFormat.kif 5932-5932
(termFormat EnglishLanguage agreementRevisionDate "agreement revision date")	domainEnglishFormat.kif 5931-5931

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 701-716

If a proposition agreement revision date a kind of time position for another proposition ,
then there exists another time position such that the other time position is an instance of a kind of time position and the other proposition is not a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is a sub-proposition of the proposition holds during immediately after the other time position or the other proposition is a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is not a sub-proposition of the proposition holds during immediately after the other time position

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: