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



KB Term:  Term intersection
English Word: 

  Telemetry

Sigma KEE - dateOpenedForSignature
dateOpenedForSignature

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


(instance dateOpenedForSignature BinaryPredicate) Geography.kif 4501-4501 date opened for signature is an instance of binary predicate
(domain dateOpenedForSignature 1 Proposition) Geography.kif 4502-4502 The number 1 argument of date opened for signature is an instance of proposition
(domainSubclass dateOpenedForSignature 2 TimePosition) Geography.kif 4503-4503 The number 2 argument of date opened for signature is a subclass of time position
(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 4505-4508 The number 2 argument of date opened for signature is a subclass of time position

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


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners