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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dateOpenedForSignature
dateOpenedForSignature

appearance as argument number 1
-------------------------


(documentation dateOpenedForSignature EnglishLanguage "(dateOpenedForSignature ?PROP ?DATE) means that as of a date indicated by ?DATE, document(s) may officially be signed (by the appropriate agents) to effect commitments to the Agreement ?PROP.") Geography.kif 2954-2957
(domain dateOpenedForSignature 1 Proposition) Geography.kif 2951-2951
(domainSubclass dateOpenedForSignature 2 TimePosition) Geography.kif 2952-2952
(instance dateOpenedForSignature BinaryPredicate) Geography.kif 2950-2950

appearance as argument number 2
-------------------------


(format ChineseLanguage dateOpenedForSignature "%2 %n 是 %1 的签名开放 date ") domainEnglishFormat.kif 660-660
(format ChineseTraditionalLanguage dateOpenedForSignature "%2 %n 是 %1 的簽名開放 date ") domainEnglishFormat.kif 659-659
(format EnglishLanguage dateOpenedForSignature "%2 is %n a date opened for signature of %1") domainEnglishFormat.kif 658-658
(termFormat ChineseLanguage dateOpenedForSignature "日期开放供签署") domainEnglishFormat.kif 18634-18634
(termFormat ChineseTraditionalLanguage dateOpenedForSignature "日期開放供簽署") domainEnglishFormat.kif 18633-18633
(termFormat EnglishLanguage dateOpenedForSignature "date opened for signature") domainEnglishFormat.kif 18632-18632


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