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


(documentation lastStatementBalance EnglishLanguage "(lastStatementBalance ?Account ?Amount) holds if ?Amount is the balance shown on the last statement.") FinancialOntology.kif 4041-4042
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4039-4039
(domain lastStatementBalance 2 CurrencyMeasure) FinancialOntology.kif 4040-4040
(instance lastStatementBalance BinaryPredicate) FinancialOntology.kif 4038-4038

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


(format ChineseLanguage lastStatementBalance "%2 %n 是 %1 的 last 声明结余") domainEnglishFormat.kif 1447-1447
(format ChineseTraditionalLanguage lastStatementBalance "%2 %n 是 %1 的 last 聲明結餘") domainEnglishFormat.kif 1446-1446
(format EnglishLanguage lastStatementBalance "%2 is %n a last statement balance of %1") domainEnglishFormat.kif 1445-1445
(termFormat ChineseLanguage lastStatementBalance "最后陈述余额") domainEnglishFormat.kif 33427-33427
(termFormat ChineseTraditionalLanguage lastStatementBalance "最後陳述餘額") domainEnglishFormat.kif 33426-33426
(termFormat EnglishLanguage lastStatementBalance "last statement balance") domainEnglishFormat.kif 33425-33425

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


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


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