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
Die Zahl 1 Argument von
signedBy
ist ein
fall
von
Certificate
%n{nicht}
(
domain
signedBy
2
CognitiveAgent
)
FinancialOntology.kif 278-278
Die Zahl 2 Argument von
signedBy
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
signedBy
BinaryPredicate
)
FinancialOntology.kif 276-276
signedBy
ist ein
fall
von
BinaryPredicate
%n{nicht}
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 53026-53026
(
termFormat
ChineseTraditionalLanguage
signedBy
"簽名由")
domainEnglishFormat.kif 53025-53025
(
termFormat
EnglishLanguage
signedBy
"signed by")
domainEnglishFormat.kif 53024-53024
consequent
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
instance
?Check
Check
)
(
agent
?Depositing ?Agent))
(
signedBy
?Check ?Agent))
FinancialOntology.kif 148-153
Wenn
Process
ist ein
fall
von
DepositingACheck
%n{nicht} und
Certificate
ist ein
fall
von
Check
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht},
dann
signedBy
** Certificate
and
** CognitiveAgent
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