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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AccountFn
AccountFn

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


s__documentation(s__AccountFn__m,s__EnglishLanguage,'"A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset."')

FinancialOntology.kif 2288-2289
s__domain(s__AccountFn__m,n__1,s__FinancialAsset)

FinancialOntology.kif 2286-2286 The number 1 argument of account is an instance of financial asset
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__AccountFn__m,s__UnaryFunction)

FinancialOntology.kif 2285-2285 Account is an instance of unary function
s__range(s__AccountFn__m,s__FinancialAccount)

FinancialOntology.kif 2287-2287 The range of account is an instance of financial account

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


s__format(s__ChineseLanguage,s__AccountFn__m,'"%1 的帐号"')

domainEnglishFormat.kif 36-36
s__format(s__ChineseTraditionalLanguage,s__AccountFn__m,'"%1 的帳號"')

domainEnglishFormat.kif 35-35
s__format(s__EnglishLanguage,s__AccountFn__m,'"the account of %1"')

domainEnglishFormat.kif 34-34
s__termFormat(s__ChineseLanguage,s__AccountFn__m,'"帐户"')

domainEnglishFormat.kif 5253-5253
s__termFormat(s__ChineseTraditionalLanguage,s__AccountFn__m,'"帳戶"')

domainEnglishFormat.kif 5252-5252
s__termFormat(s__EnglishLanguage,s__AccountFn__m,'"account"')

domainEnglishFormat.kif 5251-5251

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


( ! [V__Agent,V__Account,V__Asset] :
   (((s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Asset,s__FinancialAsset) &
         s__instance(V__Asset,s__Object))
       =>
       ((((s__instance(V__Account,s__FinancialAccount) &
               s__possesses(V__Agent,V__Asset)
             &
             (V__Account = s__AccountFn(V__Asset)))
         =>
         s__accountHolder(V__Account,V__Agent))
     &
     (s__accountHolder(V__Account,V__Agent)
     =>
     (s__instance(V__Account,s__FinancialAccount) &
       s__possesses(V__Agent,V__Asset)
     &
     (V__Account = s__AccountFn(V__Asset)))))))
)
)

FinancialOntology.kif 2291-2296 A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
( ! [V__Amount,V__Date,V__Bond] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day))
       =>
       (((s__instance(V__Bond,s__CallableBond) &
             s__currentAccountBalance(s__AccountFn(V__Bond)
          ,V__Date,V__Amount)
         &
         s__callDate(V__Bond,V__Date))
     =>
     (s__amountDue(s__AccountFn(V__Bond)
    ,V__Amount,V__Date)))))
)
)

FinancialOntology.kif 2451-2456
( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Bond,s__ZeroCouponBond) &
             s__maturityDate(s__AccountFn(V__Bond)
          ,V__Date)
         &
         s__possesses(V__BondHolder,V__Bond)
       &
       s__principalAmount(s__AccountFn(V__Bond)
    ,V__Principal)
   &
   s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2303-2317

consequent
-------------------------


( ! [V__BondHolder,V__Bond,V__Interest] :
   (((s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Interest,s__Interest))
       =>
       (((s__instance(V__Bond,s__Bond) &
             s__couponInterest(V__Bond,V__Interest)
           &
           s__possesses(V__BondHolder,V__Bond))
       =>
       (( ? [V__Period, V__Payment] :
           ((s__instance(V__Period,s__TimeDuration) &
               s__instance(V__Payment,s__Process) &
               (s__periodicPayment(s__AccountFn(V__Bond)
              ,V__Interest,V__Period)
             &
             s__destination(V__Payment,V__BondHolder)))))))))
)
)

FinancialOntology.kif 2240-2248
( ! [V__Amount,V__Date,V__Bond] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day))
       =>
       (((s__instance(V__Bond,s__CallableBond) &
             s__currentAccountBalance(s__AccountFn(V__Bond)
          ,V__Date,V__Amount)
         &
         s__callDate(V__Bond,V__Date))
     =>
     (s__amountDue(s__AccountFn(V__Bond)
    ,V__Amount,V__Date)))))
)
)

FinancialOntology.kif 2451-2456
( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Bond,s__ZeroCouponBond) &
             s__maturityDate(s__AccountFn(V__Bond)
          ,V__Date)
         &
         s__possesses(V__BondHolder,V__Bond)
       &
       s__principalAmount(s__AccountFn(V__Bond)
    ,V__Principal)
   &
   s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2303-2317


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