lastStatementBalance - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__lastStatementBalance__m,s__EnglishLanguage,'"(lastStatementBalance ?Account ?Amount) holds if ?Amount is the balance shown on the last statement."')	FinancialOntology.kif 3884-3885
s__domain(s__lastStatementBalance__m,n__1,s__FinancialAccount)	FinancialOntology.kif 3882-3882	The number 1 argument of last statement balance is an instance of financial account
s__domain(s__lastStatementBalance__m,n__2,s__CurrencyMeasure)	FinancialOntology.kif 3883-3883	The number 2 argument of last statement balance is an instance of currency measure
s__instance(s__lastStatementBalance__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	FinancialOntology.kif 3881-3881	last statement balance is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__lastStatementBalance__m,'"%2 %n 是 %1 的 last 声明结余"')	domainEnglishFormat.kif 1447-1447
s__format(s__ChineseTraditionalLanguage,s__lastStatementBalance__m,'"%2 %n 是 %1 的 last 聲明結餘"')	domainEnglishFormat.kif 1446-1446
s__format(s__EnglishLanguage,s__lastStatementBalance__m,'"%2 is %n a last statement balance of %1"')	domainEnglishFormat.kif 1445-1445
s__termFormat(s__ChineseLanguage,s__lastStatementBalance__m,'"最后陈述余额"')	domainEnglishFormat.kif 33325-33325
s__termFormat(s__ChineseTraditionalLanguage,s__lastStatementBalance__m,'"最後陳述餘額"')	domainEnglishFormat.kif 33324-33324
s__termFormat(s__EnglishLanguage,s__lastStatementBalance__m,'"last statement balance"')	domainEnglishFormat.kif 33323-33323

antecedent

( ! [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