lastStatement - Sigma 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 3918-3919
(domain lastStatement 1 FinancialAccount)	FinancialOntology.kif 3916-3916	The number 1 argument of last statement is an instance of financial account
(domain lastStatement 2 BankStatement)	FinancialOntology.kif 3917-3917	The number 2 argument of last statement is an instance of bank statement
(instance lastStatement BinaryPredicate)	FinancialOntology.kif 3915-3915	last statement is an instance of binary predicate

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 33449-33449
(termFormat ChineseTraditionalLanguage lastStatement "最後聲明")	domainEnglishFormat.kif 33448-33448
(termFormat EnglishLanguage lastStatement "last statement")	domainEnglishFormat.kif 33447-33447

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 3925-3932	If a bank statement is a last statement of a financial account and a physical is an instance of financial transaction and the bank statement expresses the content of the physical and another physical is an instance of financial transaction and the bank statement doesn't express the content of the other physical, then the time of existence of the other physical happens earlier than the time of existence of the physical
(=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount))	FinancialOntology.kif 3921-3923	If a bank statement is a last statement of a financial account, then the financial account is an instance of financial account

consequent

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

FinancialOntology.kif 4062-4068