Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lastStatement |
| appearance as argument number 1 |
|
| (instance lastStatement BinaryPredicate) | FinancialOntology.kif 3955-3955 | last statement is an instance of binary predicate |
| (domain lastStatement 1 FinancialAccount) | FinancialOntology.kif 3956-3956 | The number 1 argument of last statement is an instance of financial account |
| (domain lastStatement 2 BankStatement) | FinancialOntology.kif 3957-3957 | The number 2 argument of last statement is an instance of bank statement |
| (documentation lastStatement EnglishLanguage "(lastStatement ?Account ?Statement) means that ?Statement is the most recent monthly report sent to a debtor or bank depositor.") | FinancialOntology.kif 3958-3959 | The number 2 argument of last statement is an instance of bank statement |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage lastStatement "%2 is %n a last statement of %1") | domainEnglishFormat.kif 1441-1441 | |
| (format ChineseTraditionalLanguage lastStatement "%2 %n 是 %1 的 last 聲明") | domainEnglishFormat.kif 1442-1442 | |
| (format ChineseLanguage lastStatement "%2 %n 是 %1 的 last 声明") | domainEnglishFormat.kif 1443-1443 | |
| (termFormat EnglishLanguage lastStatement "last statement") | domainEnglishFormat.kif 33423-33423 | |
| (termFormat ChineseTraditionalLanguage lastStatement "最後聲明") | domainEnglishFormat.kif 33424-33424 | |
| (termFormat ChineseLanguage lastStatement "最后声明") | domainEnglishFormat.kif 33425-33425 |
| antecedent |
|
|
| (=> (lastStatement ?ACCT ?STATEMENT) (instance ?ACCT FinancialAccount)) |
FinancialOntology.kif 3961-3963 | If X is a last statement of Y, then Y is an instance of financial account |
| (=> (and (lastStatement ?Account ?Statement) (instance ?Transaction1 FinancialTransaction) (realization ?Statement ?Transaction1) (instance ?Transaction2 FinancialTransaction) (not (realization ?Statement ?Transaction2))) (earlier (WhenFn ?Transaction2) (WhenFn ?Transaction1))) |
FinancialOntology.kif 3965-3972 | If X is a last statement of Y, Z is an instance of financial transaction, X expresses the content of Z, W is an instance of financial transaction, and X doesn't express the content of W, then the time of existence of W happens earlier than the time of existence of Z |
| consequent |
|
|
| (=> (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 |
|