| appearance as argument number 1 |
|
| (documentation lastStatement EnglishLanguage "(lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor.") | FinancialOntology.kif 3900-3901 | |
| (domain lastStatement 1 FinancialAccount) | FinancialOntology.kif 3898-3898 | Le nombre 1 argument de lastStatement est une instance de FinancialAccount |
| (domain lastStatement 2 BankStatement) | FinancialOntology.kif 3899-3899 | Le nombre 2 argument de lastStatement est une instance de BankStatement |
| (instance lastStatement BinaryPredicate) | FinancialOntology.kif 3897-3897 | lastStatement est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage lastStatement "%2 %n 是 %1 的 last 声明") | domainEnglishFormat.kif 1443-1443 | |
| (format ChineseTraditionalLanguage lastStatement "%2 %n 是 %1 的 last 聲明") | domainEnglishFormat.kif 1442-1442 | |
| (format EnglishLanguage lastStatement "%2 is %n a last statement of %1") | domainEnglishFormat.kif 1441-1441 | |
| (termFormat ChineseLanguage lastStatement "最后声明") | domainEnglishFormat.kif 33421-33421 | |
| (termFormat ChineseTraditionalLanguage lastStatement "最後聲明") | domainEnglishFormat.kif 33420-33420 | |
| (termFormat EnglishLanguage lastStatement "last statement") | domainEnglishFormat.kif 33419-33419 |
| antecedent |
|
|
| (=> (and (lastStatement ?Account ?Statement) (instance ?Transaction1 FinancialTransaction) (realization ?Statement ?Transaction1) (instance ?Transaction2 FinancialTransaction) (not (realization ?Statement ?Transaction2))) (earlier (WhenFn ?Transaction2) (WhenFn ?Transaction1))) |
FinancialOntology.kif 3907-3914 |
|
| (=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount)) |
FinancialOntology.kif 3903-3905 |
| consequent |
|
|
| (=> (lastStatementBalance ?Account ?Balance) (exists (?Statement ?Date) (and (lastStatement ?Account ?Statement) (dateOfStatement ?Statement ?Date) (currentAccountBalance ?Account ?Date ?Balance)))) |
FinancialOntology.kif 4044-4050 |
|
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