Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lastStatementBalance
lastStatementBalance

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners