TreeView Knowledge Base Browser - lastStatementBalance

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

FinancialOntology.kif 4102-4108

If X is a last statement balance of Y, then there exist Z, W such that Z is a last statement of Y, W is a date of statement of Z, and Y current account balance W for X

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

KB Term:			Term intersection

English Word: