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
signedBy
の数値 1 引数は
証明書
の
instance
では %n
(
domain
signedBy
2
CognitiveAgent
)
FinancialOntology.kif 278-278
signedBy
の数値 2 引数は
認識エージェント
の
instance
では %n
(
instance
signedBy
BinaryPredicate
)
FinancialOntology.kif 276-276
signedBy
は
2進述語
の
instance
では %n
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
工程
は
DepositingACheck
の
instance
では %n
証明書
は
Check
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
signedBy
証明書
and
認識エージェント
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