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	Le nombre 1 argument de signedBy est une instance de certificat
(domain signedBy 2 CognitiveAgent)	FinancialOntology.kif 278-278	Le nombre 2 argument de signedBy est une instance de agent cognitif
(instance signedBy BinaryPredicate)	FinancialOntology.kif 276-276	signedBy est une instance de pr�dicat binaire

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 53045-53045
(termFormat ChineseTraditionalLanguage signedBy "簽名由")	domainEnglishFormat.kif 53044-53044
(termFormat EnglishLanguage signedBy "signed by")	domainEnglishFormat.kif 53043-53043

consequent

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

FinancialOntology.kif 148-153