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 4041-4042
(domain lastStatementBalance 1 FinancialAccount)	FinancialOntology.kif 4039-4039	The number 1 argument of last statement balance is an instance of financial account
(domain lastStatementBalance 2 CurrencyMeasure)	FinancialOntology.kif 4040-4040	The number 2 argument of last statement balance is an instance of currency measure
(instance lastStatementBalance BinaryPredicate)	FinancialOntology.kif 4038-4038	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 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