TreeView Knowledge Base Browser

appearance as argument number 1

(instance signedBy BinaryPredicate)	FinancialOntology.kif 278-278	signed by is an instance of binary predicate
(domain signedBy 1 Certificate)	FinancialOntology.kif 279-279	The number 1 argument of signed by is an instance of certificate
(domain signedBy 2 CognitiveAgent)	FinancialOntology.kif 280-280	The number 2 argument of signed by is an instance of cognitive agent
(documentation signedBy EnglishLanguage "(signedBy ?Instrument ?Agent) means that ?Instrument has been signed by ?Agent.")	FinancialOntology.kif 281-282	The number 2 argument of signed by is an instance of cognitive agent

appearance as argument number 2

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

consequent

(=>
    (and
        (instance ?Depositing DepositingACheck)
        (instance ?Check Check)
        (agent ?Depositing ?Agent))
    (signedBy ?Check ?Agent))

If X is an instance of depositing a check, Y is an instance of check, and Z is an agent of X, then Z is a signed by of Y