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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 281-282
(domain signedBy 1 Certificate) FinancialOntology.kif 279-279
(domain signedBy 2 CognitiveAgent) FinancialOntology.kif 280-280
(instance signedBy BinaryPredicate) FinancialOntology.kif 278-278

appearance as argument number 2
-------------------------


(format ChineseLanguage signedBy "%2 %n 是 %1 的 签属") domainEnglishFormat.kif 2299-2299
(format ChineseTraditionalLanguage signedBy "%2 %n 是 %1 的 簽屬") domainEnglishFormat.kif 2298-2298
(format EnglishLanguage signedBy "%2 is %n a signed by of %1") domainEnglishFormat.kif 2297-2297
(termFormat ChineseLanguage signedBy "签名由") domainEnglishFormat.kif 53028-53028
(termFormat ChineseTraditionalLanguage signedBy "簽名由") domainEnglishFormat.kif 53027-53027
(termFormat EnglishLanguage signedBy "signed by") domainEnglishFormat.kif 53026-53026

consequent
-------------------------


(=>
    (and
        (instance ?Depositing DepositingACheck)
        (instance ?Check Check)
        (agent ?Depositing ?Agent))
    (signedBy ?Check ?Agent))
FinancialOntology.kif 150-155


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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