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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lastStatement

Sigma KEE - lastStatement
lastStatement

appearance as argument number 1
-------------------------


(documentation lastStatement EnglishLanguage "(lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor.") FinancialOntology.kif 3900-3901
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3898-3898 The number 1 argument of last statement is an instance of financial account
(domain lastStatement 2 BankStatement) FinancialOntology.kif 3899-3899 The number 2 argument of last statement is an instance of bank statement
(instance lastStatement BinaryPredicate) FinancialOntology.kif 3897-3897 last statement is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage lastStatement "%2 %n 是 %1 的 last 声明") domainEnglishFormat.kif 1443-1443
(format ChineseTraditionalLanguage lastStatement "%2 %n 是 %1 的 last 聲明") domainEnglishFormat.kif 1442-1442
(format EnglishLanguage lastStatement "%2 is %n a last statement of %1") domainEnglishFormat.kif 1441-1441
(termFormat ChineseLanguage lastStatement "最后声明") domainEnglishFormat.kif 33421-33421
(termFormat ChineseTraditionalLanguage lastStatement "最後聲明") domainEnglishFormat.kif 33420-33420
(termFormat EnglishLanguage lastStatement "last statement") domainEnglishFormat.kif 33419-33419

antecedent
-------------------------


(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))
FinancialOntology.kif 3907-3914
(=>
    (lastStatement ?ACCT ?STATEMENT)
    (instance ?ACCT FinancialAccount))
FinancialOntology.kif 3903-3905

consequent
-------------------------


(=>
    (lastStatementBalance ?Account ?Balance)
    (exists (?Statement ?Date)
        (and
            (lastStatement ?Account ?Statement)
            (dateOfStatement ?Statement ?Date)
            (currentAccountBalance ?Account ?Date ?Balance))))
FinancialOntology.kif 4044-4050


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

Show without tree


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