TreeView Knowledge Base Browser

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 and Certificate
(domain signedBy 2 CognitiveAgent)	FinancialOntology.kif 278-278	域簽名由, 2 and CognitiveAgent
(instance signedBy BinaryPredicate)	FinancialOntology.kif 276-276	例簽名由 and BinaryPredicate

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