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
Alpha2String
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
Il numero 1 argomenti di
signedBy
è un
istanza
di
Certificato
(
domain
signedBy
2
CognitiveAgent
)
FinancialOntology.kif 278-278
Il numero 2 argomenti di
signedBy
è un
istanza
di
AgenteCognitivo
(
instance
signedBy
BinaryPredicate
)
FinancialOntology.kif 276-276
signedBy
è un'
istanza
di
PredicatoBinario
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
Processo
è un'
istanza
di
DepositingACheck
Certificato
è un'
istanza
di
Check
Processo
è un
agente
di
AgenteCognitivo
signedBy
Certificato
and
AgenteCognitivo
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