Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
signedBy
Sigma KEE - signedBy
signedBy
appearance as argument number 1
(
documentation
signedBy
EnglishLanguage
"(
signedBy
?Instrument ?Agent) means that ?Instrument has been signed by ?Agent.")
FinancialOntology.kif 279-280
(
domain
signedBy
1
Certificate
)
FinancialOntology.kif 277-277
The number 1 argument of
signed by
is an
instance
of
certificate
(
domain
signedBy
2
CognitiveAgent
)
FinancialOntology.kif 278-278
The number 2 argument of
signed by
is an
instance
of
cognitive agent
(
instance
signedBy
BinaryPredicate
)
FinancialOntology.kif 276-276
signed by
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
signedBy
"%2 %n 是 %1 的 签属")
domainEnglishFormat.kif 2295-2295
(
format
ChineseTraditionalLanguage
signedBy
"%2 %n 是 %1 的 簽屬")
domainEnglishFormat.kif 2294-2294
(
format
EnglishLanguage
signedBy
"%2 is %n a signed by of %1")
domainEnglishFormat.kif 2293-2293
(
termFormat
ChineseLanguage
signedBy
"签名由")
domainEnglishFormat.kif 53024-53024
(
termFormat
ChineseTraditionalLanguage
signedBy
"簽名由")
domainEnglishFormat.kif 53023-53023
(
termFormat
EnglishLanguage
signedBy
"signed by")
domainEnglishFormat.kif 53022-53022
consequent
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
instance
?Check
Check
)
(
agent
?Depositing ?Agent))
(
signedBy
?Check ?Agent))
FinancialOntology.kif 148-153
If
a process
is an
instance
of
depositingA check
and
a certificate
is an
instance
of
check
and
a cognitive agent
is an
agent
of
the process
,
then
the cognitive agent
is a
signed
by of
the certificate
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 is
open source software
produced by
Articulate Software
and its partners