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 3980-3981
(domain dateOfStatement 1 BankStatement)	FinancialOntology.kif 3978-3978	声明日期的 1 数量是银行对帐单的 instance
(domain dateOfStatement 2 Day)	FinancialOntology.kif 3979-3979	声明日期的 2 数量是日的 instance
(instance dateOfStatement BinaryPredicate)	FinancialOntology.kif 3977-3977	声明日期是二元谓语的 instance

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

antecedent

(=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period))	FinancialOntology.kif 4022-4026	如果时距是银行对帐单的 statement 周期和 %2 是 %3 的声明 date ，然后日 finishes了才到那个时距
(=> (dateOfStatement ?Statement ?Date) (exists (?Copy) (and (containsInformation ?Copy ?Statement) (date ?Copy ?Date))))	FinancialOntology.kif 3983-3988	如果 %2 是 %3 的声明 date ，然后有存在内容承载物理这样那个内容承载物理 contains 银行对帐单的资料和那个内容承载物理的 date 是日

consequent

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

FinancialOntology.kif 3996-4002

如果货币测量是金融账户的 last 声明结余，
然后有存在银行对帐单这样那个银行对帐单是那个金融账户的 last 声明和 %2 是 %3 的声明 date 和那个金融账户对于 %3 的 current 帐户存款