agreementRevisionDate - Sigma Knowledge base Browser

appearance as argument number 1

(instance agreementRevisionDate TernaryPredicate)	Government.kif 695-695	agreement revision date is an instance of ternary predicate
(domain agreementRevisionDate 1 Proposition)	Government.kif 696-696	The number 1 argument of agreement revision date is an instance of proposition
(domainSubclass agreementRevisionDate 2 TimePosition)	Government.kif 697-697	The number 2 argument of agreement revision date is a subclass of time position
(domain agreementRevisionDate 3 Proposition)	Government.kif 698-698	The number 3 argument of agreement revision date is an instance of proposition
(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 700-703	The number 3 argument of agreement revision date is an instance of proposition

appearance as argument number 2

(format EnglishLanguage agreementRevisionDate "%1 %n{doesn't} agreement revision date %2 for %3 ")	domainEnglishFormat.kif 98-98
(format ChineseTraditionalLanguage agreementRevisionDate "%1 %n{不是} agreement 對於 %3 的修改日期 %2 ")	domainEnglishFormat.kif 99-99
(format ChineseLanguage agreementRevisionDate "%1 %n{不是} agreement 对于 %3 的修改日期 %2 ")	domainEnglishFormat.kif 100-100
(termFormat EnglishLanguage agreementRevisionDate "agreement revision date")	domainEnglishFormat.kif 5935-5935
(termFormat ChineseTraditionalLanguage agreementRevisionDate "協議修訂日期")	domainEnglishFormat.kif 5936-5936
(termFormat ChineseLanguage agreementRevisionDate "协议修订日期")	domainEnglishFormat.kif 5937-5937

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 705-726

If X agreement revision date Y for Z, then there exists W such that W is an instance of Y, Z is not a sub-proposition of X holds during immediately before W, Z is a sub-proposition of X holds during immediately after W or Z is a sub-proposition of X holds during immediately before W, and Z is not a sub-proposition of X holds during immediately after W

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners