Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  agreementRevisionDate

Sigma KEE - agreementRevisionDate
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 731-734
(domain agreementRevisionDate 1 Proposition) Government.kif 727-727 The number 1 argument of agreement revision date is an instance of proposition
(domain agreementRevisionDate 3 Proposition) Government.kif 729-729 The number 3 argument of agreement revision date is an instance of proposition
(domainSubclass agreementRevisionDate 2 TimePosition) Government.kif 728-728 The number 2 argument of agreement revision date is a subclass of time position
(instance agreementRevisionDate TernaryPredicate) Government.kif 726-726 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 5937-5937
(termFormat ChineseTraditionalLanguage agreementRevisionDate "協議修訂日期") domainEnglishFormat.kif 5936-5936
(termFormat EnglishLanguage agreementRevisionDate "agreement revision date") domainEnglishFormat.kif 5935-5935

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 736-751


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners