dateOfStatement - Sigma 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 4042-4043
(domain dateOfStatement 1 BankStatement)	FinancialOntology.kif 4040-4040	The number 1 argument of date of statement is an instance of bank statement
(domain dateOfStatement 2 Day)	FinancialOntology.kif 4041-4041	The number 2 argument of date of statement is an instance of day
(instance dateOfStatement BinaryPredicate)	FinancialOntology.kif 4039-4039	date of statement is an instance of binary predicate

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 18645-18645
(termFormat ChineseTraditionalLanguage dateOfStatement "聲明日期")	domainEnglishFormat.kif 18644-18644
(termFormat EnglishLanguage dateOfStatement "date of statement")	domainEnglishFormat.kif 18643-18643

antecedent

(=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period))	FinancialOntology.kif 4084-4088	If a time interval is a statement period of a bank statement and a day is a date of statement of the bank statement, then the day finishes the time interval
(=> (dateOfStatement ?Statement ?Date) (exists (?Copy) (and (containsInformation ?Copy ?Statement) (date ?Copy ?Date))))	FinancialOntology.kif 4045-4050	If a day is a date of statement of a bank statement, then there exists a content bearing physical such that the content bearing physical contains information the bank statement and date of the content bearing physical is the day

consequent

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

FinancialOntology.kif 4058-4064