lastStatementBalance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation lastStatementBalance EnglishLanguage "(lastStatementBalance ?Account ?Amount) holds if ?Amount is the balance shown on the last statement.")	FinancialOntology.kif 4059-4060
(domain lastStatementBalance 1 FinancialAccount)	FinancialOntology.kif 4057-4057	The number 1 argument of last statement balance is an instance of financial account
(domain lastStatementBalance 2 CurrencyMeasure)	FinancialOntology.kif 4058-4058	The number 2 argument of last statement balance is an instance of currency measure
(instance lastStatementBalance BinaryPredicate)	FinancialOntology.kif 4056-4056	last statement balance is an instance of binary predicate

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 33455-33455
(termFormat ChineseTraditionalLanguage lastStatementBalance "最後陳述餘額")	domainEnglishFormat.kif 33454-33454
(termFormat EnglishLanguage lastStatementBalance "last statement balance")	domainEnglishFormat.kif 33453-33453

antecedent

(=>
    (lastStatementBalance ?Account ?Balance)
    (exists (?Statement ?Date)
        (and
            (lastStatement ?Account ?Statement)
            (dateOfStatement ?Statement ?Date)
            (currentAccountBalance ?Account ?Date ?Balance))))

FinancialOntology.kif 4062-4068