TreeView Knowledge Base Browser

appearance as argument number 1

(documentation dateOfStatement EnglishLanguage "(dateOfStatement ?Statement ?Date) holds if ?Date is the date when BankStatement was issued.")	FinancialOntology.kif 4028-4029
(domain dateOfStatement 1 BankStatement)	FinancialOntology.kif 4026-4026
(domain dateOfStatement 2 Day)	FinancialOntology.kif 4027-4027
(instance dateOfStatement BinaryPredicate)	FinancialOntology.kif 4025-4025

appearance as argument number 2

(format ChineseLanguage dateOfStatement "%2 %n 是 %3 的声明 date ")	domainEnglishFormat.kif 656-656
(format ChineseTraditionalLanguage dateOfStatement "%2 %n 是 %3 的聲明 date ")	domainEnglishFormat.kif 655-655
(format EnglishLanguage dateOfStatement "%2 is %n a date of statement of %1")	domainEnglishFormat.kif 654-654
(termFormat ChineseLanguage dateOfStatement "声明日期")	domainEnglishFormat.kif 18630-18630
(termFormat ChineseTraditionalLanguage dateOfStatement "聲明日期")	domainEnglishFormat.kif 18629-18629
(termFormat EnglishLanguage dateOfStatement "date of statement")	domainEnglishFormat.kif 18628-18628

antecedent

(=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period))	FinancialOntology.kif 4070-4074
(=> (dateOfStatement ?Statement ?Date) (exists (?Copy) (and (containsInformation ?Copy ?Statement) (date ?Copy ?Date))))	FinancialOntology.kif 4031-4036

consequent

(=>
    (lastStatementBalance ?Account ?Balance)
    (exists (?Statement ?Date)
        (and
            (lastStatement ?Account ?Statement)
            (dateOfStatement ?Statement ?Date)
            (currentAccountBalance ?Account ?Date ?Balance))))

FinancialOntology.kif 4044-4050