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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - statementAccount
statementAccount

appearance as argument number 1
-------------------------


s__documentation(s__statementAccount__m,s__EnglishLanguage,'"(statementAccount ?Statement ?Account) means that ?Account is the account of the BankStatement ?Statement."')

 FinancialOntology.kif 3898-3899
s__domain(s__statementAccount__m,n__1,s__BankStatement)

 FinancialOntology.kif 3896-3896 The number 1 argument of statement account is an instance of bank statement
s__domain(s__statementAccount__m,n__2,s__FinancialAccount)

 FinancialOntology.kif 3897-3897 The number 2 argument of statement account is an instance of financial account
s__instance(s__statementAccount__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

 FinancialOntology.kif 3895-3895 statement account is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__statementAccount__m,'"%2 %n 是 %1 的 statement 帐号"')

 domainEnglishFormat.kif 2347-2347
s__format(s__ChineseTraditionalLanguage,s__statementAccount__m,'"%2 %n 是 %1 的 statement 帳號"')

 domainEnglishFormat.kif 2346-2346
s__format(s__EnglishLanguage,s__statementAccount__m,'"%2 is %n a statement account of %1"')

 domainEnglishFormat.kif 2345-2345
s__termFormat(s__ChineseLanguage,s__statementAccount__m,'"声明帐户"')

 domainEnglishFormat.kif 55021-55021
s__termFormat(s__ChineseTraditionalLanguage,s__statementAccount__m,'"聲明帳戶"')

 domainEnglishFormat.kif 55020-55020
s__termFormat(s__EnglishLanguage,s__statementAccount__m,'"statement account"')

 domainEnglishFormat.kif 55019-55019

antecedent
-------------------------


( ! [V__Account,V__Statement] :
   (s__instance(V__Account,s__FinancialAccount) =>
     (s__instance(V__Statement,s__BankStatement) &
       s__statementAccount(V__Statement,V__Account))
   =>
   ( ? [V__Transaction] :
     ((s__instance(V__Transaction,s__FinancialTransaction) &
         (s__origin(V__Transaction,s__CurrencyFn(V__Account))
       |
       s__destination(V__Transaction,s__CurrencyFn(V__Account)))
&
s__realization(V__Statement,V__Transaction))))
)
)

 FinancialOntology.kif 3727-3737
( ! [V__Period,V__Interest,V__Account,V__Statement] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Interest,s__Interest) &
       s__instance(V__Account,s__FinancialAccount) &
       s__instance(V__Statement,s__BankStatement))
     =>
     (s__statementInterest(V__Statement,V__Interest)
     &
     s__statementPeriod(V__Statement,V__Period)
   &
   s__statementAccount(V__Statement,V__Account))
=>
s__interestEarned(V__Account,V__Interest,V__Period)
)
)

 FinancialOntology.kif 3925-3930


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