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 3940-3941
s__domain(s__dateOfStatement__m,n__1,s__BankStatement)

FinancialOntology.kif 3938-3938 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 3939-3939 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 3937-3937 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 18621-18621
s__termFormat(s__ChineseTraditionalLanguage,s__dateOfStatement__m,'"聲明日期"')

domainEnglishFormat.kif 18620-18620
s__termFormat(s__EnglishLanguage,s__dateOfStatement__m,'"date of statement"')

domainEnglishFormat.kif 18619-18619

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 3982-3986
( ! [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 3943-3948

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 3956-3962


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 3.0 is open source software produced by Articulate Software and its partners