TreeView Knowledge Base Browser

appearance as argument number 1

(documentation lastStatement EnglishLanguage "(lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor.")	FinancialOntology.kif 3900-3901
(domain lastStatement 1 FinancialAccount)	FinancialOntology.kif 3898-3898	Le nombre 1 argument de lastStatement est une instance de FinancialAccount
(domain lastStatement 2 BankStatement)	FinancialOntology.kif 3899-3899	Le nombre 2 argument de lastStatement est une instance de BankStatement
(instance lastStatement BinaryPredicate)	FinancialOntology.kif 3897-3897	lastStatement est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage lastStatement "%2 %n 是 %1 的 last 声明")	domainEnglishFormat.kif 1443-1443
(format ChineseTraditionalLanguage lastStatement "%2 %n 是 %1 的 last 聲明")	domainEnglishFormat.kif 1442-1442
(format EnglishLanguage lastStatement "%2 is %n a last statement of %1")	domainEnglishFormat.kif 1441-1441
(termFormat ChineseLanguage lastStatement "最后声明")	domainEnglishFormat.kif 33421-33421
(termFormat ChineseTraditionalLanguage lastStatement "最後聲明")	domainEnglishFormat.kif 33420-33420
(termFormat EnglishLanguage lastStatement "last statement")	domainEnglishFormat.kif 33419-33419

antecedent

(=> (and (lastStatement ?Account ?Statement) (instance ?Transaction1 FinancialTransaction) (realization ?Statement ?Transaction1) (instance ?Transaction2 FinancialTransaction) (not (realization ?Statement ?Transaction2))) (earlier (WhenFn ?Transaction2) (WhenFn ?Transaction1)))	FinancialOntology.kif 3907-3914	lastStatement FinancialAccount and BankStatement physique est une instance de financial transaction BankStatement exprime le contenu de physique physique est une instance de financial transaction BankStatement n' exprime %n{pas} le contenu de physique temps d'existence de physique arrive plus t�t que temps d'existence de physique
(=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount))	FinancialOntology.kif 3903-3905	lastStatement FinancialAccount and BankStatement FinancialAccount est une instance de FinancialAccount

consequent

(=>
    (lastStatementBalance ?Account ?Balance)
    (exists (?Statement ?Date)
        (and
            (lastStatement ?Account ?Statement)
            (dateOfStatement ?Statement ?Date)
            (currentAccountBalance ?Account ?Date ?Balance))))

FinancialOntology.kif 4044-4050