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 3811-3812
s__domain(s__lastStatement__m,n__1,s__FinancialAccount)

FinancialOntology.kif 3809-3809 The number 1 argument of last statement is an instance of financial account
s__domain(s__lastStatement__m,n__2,s__BankStatement)

FinancialOntology.kif 3810-3810 The number 2 argument of last statement is an instance of bank statement
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__lastStatement__m,s__BinaryPredicate)

FinancialOntology.kif 3808-3808 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 33408-33408
s__termFormat(s__ChineseTraditionalLanguage,s__lastStatement__m,'"最後聲明"')

domainEnglishFormat.kif 33407-33407
s__termFormat(s__EnglishLanguage,s__lastStatement__m,'"last statement"')

domainEnglishFormat.kif 33406-33406

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 3818-3825
( ! [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 3814-3816

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 3956-3962


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 3.0 is open source software produced by Articulate Software and its partners