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 3900-3901
(domain lastStatement 1 FinancialAccount)	FinancialOntology.kif 3898-3898	The number 1 argument of last statement is an instance of financial account
(domain lastStatement 2 BankStatement)	FinancialOntology.kif 3899-3899	The number 2 argument of last statement is an instance of bank statement
(instance lastStatement BinaryPredicate)	FinancialOntology.kif 3897-3897	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 33450-33450
(termFormat ChineseTraditionalLanguage lastStatement "最後聲明")	domainEnglishFormat.kif 33449-33449
(termFormat EnglishLanguage lastStatement "last statement")	domainEnglishFormat.kif 33448-33448

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	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 3903-3905	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 4044-4050