dateOfStatement - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__dateOfStatement__m,s__EnglishLanguage,'"(dateOfStatement ?Statement ?Date) holds if ?Date is the date when BankStatement was issued."')	FinancialOntology.kif 3871-3872
s__domain(s__dateOfStatement__m,n__1,s__BankStatement)	FinancialOntology.kif 3869-3869	The number 1 argument of date of statement is an instance of bank statement
s__domain(s__dateOfStatement__m,n__2,s__Day)	FinancialOntology.kif 3870-3870	The number 2 argument of date of statement is an instance of day
s__instance(s__dateOfStatement__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	FinancialOntology.kif 3868-3868	date of statement is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__dateOfStatement__m,'"%2 %n 是 %3 的声明 date "')	domainEnglishFormat.kif 656-656
s__format(s__ChineseTraditionalLanguage,s__dateOfStatement__m,'"%2 %n 是 %3 的聲明 date "')	domainEnglishFormat.kif 655-655
s__format(s__EnglishLanguage,s__dateOfStatement__m,'"%2 is %n a date of statement of %1"')	domainEnglishFormat.kif 654-654
s__termFormat(s__ChineseLanguage,s__dateOfStatement__m,'"声明日期"')	domainEnglishFormat.kif 18553-18553
s__termFormat(s__ChineseTraditionalLanguage,s__dateOfStatement__m,'"聲明日期"')	domainEnglishFormat.kif 18552-18552
s__termFormat(s__EnglishLanguage,s__dateOfStatement__m,'"date of statement"')	domainEnglishFormat.kif 18551-18551

antecedent

( ! [V__Period,V__Date,V__Statement] : ((s__instance(V__Period,s__TimeInterval) & s__instance(V__Date,s__Day) & s__instance(V__Statement,s__BankStatement)) => (s__statementPeriod(V__Statement,V__Period) & s__dateOfStatement(V__Statement,V__Date)) => s__finishes(V__Date,V__Period) ) )	FinancialOntology.kif 3913-3917	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
( ! [V__Date,V__Statement] : ((s__instance(V__Date,s__Day) & s__instance(V__Statement,s__BankStatement)) => s__dateOfStatement(V__Statement,V__Date) => ( ? [V__Copy] : ((s__instance(V__Copy,s__ContentBearingPhysical) & (s__containsInformation(V__Copy,V__Statement) & s__date(V__Copy,V__Date))))) ) )	FinancialOntology.kif 3874-3879	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

( ! [V__Date,V__Balance,V__Account] :
   ((s__instance(V__Date,s__Day) &
       s__instance(V__Balance,s__CurrencyMeasure) &
       s__instance(V__Account,s__FinancialAccount))
     =>
     s__lastStatementBalance(V__Account,V__Balance)
   =>
   ( ? [V__Statement] :
     ((s__instance(V__Statement,s__BankStatement) &
         (s__lastStatement(V__Account,V__Statement)
         &
         s__dateOfStatement(V__Statement,V__Date)
       &
       s__currentAccountBalance(V__Account,V__Date,V__Balance)))))
)
)

FinancialOntology.kif 3887-3893