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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - agreementRevisionDate

appearance as argument number 1

s__documentation(s__agreementRevisionDate__m,s__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 720-723

Government.kif 716-716 The number 1 argument of agreement revision date is an instance of proposition

Government.kif 718-718 The number 3 argument of agreement revision date is an instance of proposition

Government.kif 717-717 The number 2 argument of agreement revision date is a subclass of time position


Government.kif 715-715 agreement revision date is an instance of ternary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__agreementRevisionDate__m,'"%1 %n{不是} agreement 对于 %3 的修改日期 %2 "')

domainEnglishFormat.kif 100-100
s__format(s__ChineseTraditionalLanguage,s__agreementRevisionDate__m,'"%1 %n{不是} agreement 對於 %3 的修改日期 %2 "')

domainEnglishFormat.kif 99-99
s__format(s__EnglishLanguage,s__agreementRevisionDate__m,'"%1 %n{doesnt} agreement revision date %2 for %3 "')

domainEnglishFormat.kif 98-98

domainEnglishFormat.kif 5937-5937

domainEnglishFormat.kif 5936-5936
s__termFormat(s__EnglishLanguage,s__agreementRevisionDate__m,'"agreement revision date"')

domainEnglishFormat.kif 5935-5935


No TPTP formula. May not be expressible in strict first order. Government.kif 725-740

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 is open source software produced by Articulate Software and its partners