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
签名由
的 1 数量 是
证书
的
instance
(
domain
signedBy
2
CognitiveAgent
)
FinancialOntology.kif 278-278
签名由
的 2 数量 是
有认知的主事
的
instance
(
instance
signedBy
BinaryPredicate
)
FinancialOntology.kif 276-276
签名由
是
二元谓语
的
instance
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
如果
过程
是
存款支票
的
instance
和
证书
是
校验
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 有认知的主事
是
那个 证书
的 签属
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