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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agreementRevisionDate
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
s__domain(s__agreementRevisionDate__m,n__1,s__Proposition)

Government.kif 716-716 The number 1 argument of agreement revision date is an instance of proposition
s__domain(s__agreementRevisionDate__m,n__3,s__Proposition)

Government.kif 718-718 The number 3 argument of agreement revision date is an instance of proposition
s__domainSubclass(s__agreementRevisionDate__m,n__2,s__TimePosition)

Government.kif 717-717 The number 2 argument of agreement revision date is a subclass of time position
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__agreementRevisionDate__m,s__TernaryPredicate)

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
s__termFormat(s__ChineseLanguage,s__agreementRevisionDate__m,'"协议修订日期"')

domainEnglishFormat.kif 5937-5937
s__termFormat(s__ChineseTraditionalLanguage,s__agreementRevisionDate__m,'"協議修訂日期"')

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

domainEnglishFormat.kif 5935-5935

antecedent
-------------------------


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