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


(documentation lastStatement EnglishLanguage "(lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor.") FinancialOntology.kif 3913-3914
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3911-3911
(domain lastStatement 2 BankStatement) FinancialOntology.kif 3912-3912
(instance lastStatement BinaryPredicate) FinancialOntology.kif 3910-3910

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 33403-33403
(termFormat ChineseTraditionalLanguage lastStatement "最後聲明") domainEnglishFormat.kif 33402-33402
(termFormat EnglishLanguage lastStatement "last statement") domainEnglishFormat.kif 33401-33401

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 3920-3927
(=>
    (lastStatement ?ACCT ?STATEMENT)
    (instance ?ACCT FinancialAccount))
FinancialOntology.kif 3916-3918

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


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


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