Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dateOfStatement |
| appearance as argument number 1 |
|
| (instance dateOfStatement BinaryPredicate) | FinancialOntology.kif 4083-4083 | date of statement is an instance of binary predicate |
| (domain dateOfStatement 1 BankStatement) | FinancialOntology.kif 4084-4084 | The number 1 argument of date of statement is an instance of bank statement |
| (domain dateOfStatement 2 Day) | FinancialOntology.kif 4085-4085 | The number 2 argument of date of statement is an instance of day |
| (documentation dateOfStatement EnglishLanguage "(dateOfStatement ?Statement ?Date) holds if ?Date is the date when BankStatement was issued.") | FinancialOntology.kif 4086-4087 | The number 2 argument of date of statement is an instance of day |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage dateOfStatement "%2 is %n a date of statement of %1") | domainEnglishFormat.kif 654-654 | |
| (format ChineseTraditionalLanguage dateOfStatement "%2 %n 是 %3 的聲明 date ") | domainEnglishFormat.kif 655-655 | |
| (format ChineseLanguage dateOfStatement "%2 %n 是 %3 的声明 date ") | domainEnglishFormat.kif 656-656 | |
| (termFormat EnglishLanguage dateOfStatement "date of statement") | domainEnglishFormat.kif 18630-18630 | |
| (termFormat ChineseTraditionalLanguage dateOfStatement "聲明日期") | domainEnglishFormat.kif 18631-18631 | |
| (termFormat ChineseLanguage dateOfStatement "声明日期") | domainEnglishFormat.kif 18632-18632 |
| antecedent |
|
|
| (=> (dateOfStatement ?Statement ?Date) (exists (?Copy) (and (containsInformation ?Copy ?Statement) (date ?Copy ?Date)))) |
FinancialOntology.kif 4089-4094 | If X is a date of statement of Y, then there exists Z such that Z contains information Y and date of Z is X |
| (=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period)) |
FinancialOntology.kif 4128-4132 | If X is a statement period of Y and Z is a date of statement of Y, then Z finishes X |
| 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 |
|