Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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