Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dateOfStatement
dateOfStatement

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
( ! [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

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners