lastStatement - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__lastStatement__m,s__EnglishLanguage,'"(lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor."')	FinancialOntology.kif 3742-3743
s__domain(s__lastStatement__m,n__1,s__FinancialAccount)	FinancialOntology.kif 3740-3740	The number 1 argument of last statement is an instance of financial account
s__domain(s__lastStatement__m,n__2,s__BankStatement)	FinancialOntology.kif 3741-3741	The number 2 argument of last statement is an instance of bank statement
s__instance(s__lastStatement__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	FinancialOntology.kif 3739-3739	last statement is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__lastStatement__m,'"%2 %n 是 %1 的 last 声明"')	domainEnglishFormat.kif 1443-1443
s__format(s__ChineseTraditionalLanguage,s__lastStatement__m,'"%2 %n 是 %1 的 last 聲明"')	domainEnglishFormat.kif 1442-1442
s__format(s__EnglishLanguage,s__lastStatement__m,'"%2 is %n a last statement of %1"')	domainEnglishFormat.kif 1441-1441
s__termFormat(s__ChineseLanguage,s__lastStatement__m,'"最后声明"')	domainEnglishFormat.kif 33319-33319
s__termFormat(s__ChineseTraditionalLanguage,s__lastStatement__m,'"最後聲明"')	domainEnglishFormat.kif 33318-33318
s__termFormat(s__EnglishLanguage,s__lastStatement__m,'"last statement"')	domainEnglishFormat.kif 33317-33317

antecedent

( ! [V__Transaction2,V__Transaction1,V__Account,V__Statement] : ((s__instance(V__Account,s__FinancialAccount) & s__instance(V__Statement,s__BankStatement) & s__instance(V__Statement,s__Process)) => (s__lastStatement(V__Account,V__Statement) & s__instance(V__Transaction1,s__FinancialTransaction) & s__realization(V__Statement,V__Transaction1) & s__instance(V__Transaction2,s__FinancialTransaction) & ~(s__realization(V__Statement,V__Transaction2))) => s__earlier(s__WhenFn(V__Transaction2) ,s__WhenFn(V__Transaction1)) ) )	FinancialOntology.kif 3749-3756	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
( ! [V__STATEMENT,V__ACCT] : ((s__instance(V__STATEMENT,s__BankStatement) & s__instance(V__ACCT,s__FinancialAccount)) => s__lastStatement(V__ACCT,V__STATEMENT) => s__instance(V__ACCT,s__FinancialAccount) ) )	FinancialOntology.kif 3745-3747	If a bank statement is a last statement of a financial account, then the financial account is an instance of financial account

consequent

( ! [V__Date,V__Balance,V__Account] :
   ((s__instance(V__Date,s__Day) &
       s__instance(V__Balance,s__CurrencyMeasure) &
       s__instance(V__Account,s__FinancialAccount))
     =>
     s__lastStatementBalance(V__Account,V__Balance)
   =>
   ( ? [V__Statement] :
     ((s__instance(V__Statement,s__BankStatement) &
         (s__lastStatement(V__Account,V__Statement)
         &
         s__dateOfStatement(V__Statement,V__Date)
       &
       s__currentAccountBalance(V__Account,V__Date,V__Balance)))))
)
)

FinancialOntology.kif 3887-3893