| appearance as argument number 1 |
|
| (documentation lastStatementBalance EnglishLanguage "(lastStatementBalance ?Account ?Amount) holds if ?Amount is the balance shown on the last statement.") | FinancialOntology.kif 4055-4056 | |
| (domain lastStatementBalance 1 FinancialAccount) | FinancialOntology.kif 4053-4053 | The number 1 argument of last statement balance is an instance of financial account |
| (domain lastStatementBalance 2 CurrencyMeasure) | FinancialOntology.kif 4054-4054 | The number 2 argument of last statement balance is an instance of currency measure |
| (instance lastStatementBalance BinaryPredicate) | FinancialOntology.kif 4052-4052 | 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 4058-4064 |
|
|
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