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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lastStatement
lastStatement

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

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


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