Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|