Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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


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