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	Le nombre 1 argument de dateOfStatement est une instance de BankStatement
(domain dateOfStatement 2 Day)	FinancialOntology.kif 4027-4027	Le nombre 2 argument de dateOfStatement est une instance de jour
(instance dateOfStatement BinaryPredicate)	FinancialOntology.kif 4025-4025	dateOfStatement est une instance de pr�dicat binaire

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	statementPeriod BankStatement and interval temporel dateOfStatement BankStatement and jour jour finit interval temporel
(=> (dateOfStatement ?Statement ?Date) (exists (?Copy) (and (containsInformation ?Copy ?Statement) (date ?Copy ?Date))))	FinancialOntology.kif 4031-4036	dateOfStatement BankStatement and jour ContentBearingPhysical ContentBearingPhysical contient information BankStatement la date de ContentBearingPhysical est jour

consequent

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

FinancialOntology.kif 4044-4050