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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialAccount
FinancialAccount(financial account)
Totten_trust, account, active_trust, blind_trust, business_relationship, charitable_trust, constructive_trust, direct_trust, discretionary_trust, express_trust, fixed_investment_trust, implied_trust, inter_vivos_trust, involuntary_trust, living_trust, nondiscretionary_trust, passive_trust, public_trust, resulting_trust, savings_account_trust, savings_bank_trust, spendthrift_trust, testamentary_trust, trust, trust_account, trust_fund, trustee_account

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


s__documentation(s__FinancialAccount,s__EnglishLanguage,'"A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions."')

 FinancialOntology.kif 59-61
s__externalImage(s__FinancialAccount,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png"')

 pictureList.kif 10035-10035
s__instance(s__Account,s__SetOrClass)

s__instance(s__FinancialAccount,s__SetOrClass)

s__subclass(s__FinancialAccount,s__Account)

 ComputingBrands.kif 4512-4512 Financial account is a subclass of account
s__instance(s__FinancialAccount,s__SetOrClass)

s__subclass(s__FinancialAccount,s__Agreement)

s__instance(s__Agreement,s__SetOrClass)

 FinancialOntology.kif 58-58 Financial account is a subclass of agreement

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


s__range(s__AccountFn__m,s__FinancialAccount)

 FinancialOntology.kif 2266-2266 The range of account is an instance of financial account
s__subclass(s__CorporateAccount,s__FinancialAccount)

s__instance(s__FinancialAccount,s__SetOrClass)

s__instance(s__CorporateAccount,s__SetOrClass)

 FinancialOntology.kif 967-967 Corporate account is a subclass of financial account
s__subclass(s__DepositAccount,s__FinancialAccount)

s__instance(s__FinancialAccount,s__SetOrClass)

s__instance(s__DepositAccount,s__SetOrClass)

 FinancialOntology.kif 978-978 Deposit account is a subclass of financial account
s__instance(s__FinancialAccount,s__SetOrClass)

s__instance(s__InterestBearingAccount,s__SetOrClass)

s__subclass(s__InterestBearingAccount,s__FinancialAccount)

 FinancialOntology.kif 922-922 Interest bearing account is a subclass of financial account
s__subclass(s__LiabilityAccount,s__FinancialAccount)

s__instance(s__FinancialAccount,s__SetOrClass)

s__instance(s__LiabilityAccount,s__SetOrClass)

 FinancialOntology.kif 1113-1113 Liability account is a subclass of financial account
s__instance(s__FinancialAccount,s__SetOrClass)

s__subclass(s__PensionPlan,s__FinancialAccount)

s__instance(s__PensionPlan,s__SetOrClass)

 FinancialOntology.kif 1127-1127 Pension plan is a subclass of financial account
s__instance(s__FinancialAccount,s__SetOrClass)

s__subclass(s__PersonalAccount,s__FinancialAccount)

s__instance(s__PersonalAccount,s__SetOrClass)

 FinancialOntology.kif 946-946 Personal account is a subclass of financial account
s__termFormat(s__ChineseLanguage,s__FinancialAccount,'"金融账户"')

 domainEnglishFormat.kif 23727-23727
s__termFormat(s__ChineseTraditionalLanguage,s__FinancialAccount,'"金融賬戶"')

 domainEnglishFormat.kif 23726-23726
s__termFormat(s__EnglishLanguage,s__FinancialAccount,'"financial account"')

 domainEnglishFormat.kif 23725-23725

appearance as argument number 3
-------------------------


s__domain(s__CurrencyFn__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 283-283 The number 1 argument of currency is an instance of financial account
s__domain(s__accountAt__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 230-230 The number 1 argument of account at is an instance of financial account
s__domain(s__accountHolder__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 249-249 The number 1 argument of account holder is an instance of financial account
s__domain(s__accountNumber__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3377-3377 The number 1 argument of account number is an instance of financial account
s__domain(s__accountStatus__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3890-3890 The number 1 argument of account status is an instance of financial account
s__domain(s__administrator__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3904-3904 The number 1 argument of administrator is an instance of financial account
s__domain(s__amountDue__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 609-609 The number 1 argument of amount due is an instance of financial account
s__domain(s__availableBalance__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3696-3696 The number 1 argument of available balance is an instance of financial account
s__domain(s__availableCash__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3719-3719 The number 1 argument of available cash is an instance of financial account
s__domain(s__buyingPowerAmount__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3982-3982 The number 1 argument of buying power amount is an instance of financial account
s__domain(s__cardAccount__m,n__2,s__FinancialAccount)

 FinancialOntology.kif 237-237 The number 2 argument of card account is an instance of financial account
s__domain(s__checkAccount__m,n__2,s__FinancialAccount)

 FinancialOntology.kif 243-243 The number 2 argument of check account is an instance of financial account
s__domain(s__compoundInterest__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 524-524 The number 1 argument of compound interest is an instance of financial account
s__domain(s__creditsPerPeriod__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3760-3760 The number 1 argument of credits per period is an instance of financial account
s__domain(s__currentAccountBalance__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 632-632 The number 1 argument of current account balance is an instance of financial account
s__domain(s__currentInterestRate__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 574-574 The number 1 argument of current interest rate is an instance of financial account
s__domain(s__dailyLimit__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3881-3881 The number 1 argument of daily limit is an instance of financial account
s__domain(s__financialAccount__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3690-3690 The number 1 argument of financialAccount is an instance of financial account
s__domain(s__fixedInterestRate__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 581-581 The number 1 argument of fixed interest rate is an instance of financial account
s__domain(s__interestEarned__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 498-498 The number 1 argument of interest earned is an instance of financial account
s__domain(s__interestRatePerPeriod__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 544-544 The number 1 argument of interest rate per period is an instance of financial account
s__domain(s__lastStatement__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3788-3788 The number 1 argument of last statement is an instance of financial account
s__domain(s__lastStatementBalance__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3930-3930 The number 1 argument of last statement balance is an instance of financial account
s__domain(s__liquidity__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 1763-1763 The number 1 argument of liquidity is an instance of financial account
s__domain(s__marginBalanceAmount__m,n__1,s__FinancialAccount)

 FinancialOntology.kif 3991-3991 The number 1 argument of margin balance amount is an instance of financial account

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 2270-2275 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__Account,V__Withdrawal] :
   ((((s__instance(V__Withdrawal,s__Withdrawal) &
           s__instance(V__Account,s__FinancialAccount) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
       &
       ~(( ? [V__Penalty] :
           ((s__instance(V__Penalty,s__Penalty) &
               s__destination(V__Penalty,s__CurrencyFn(V__Account))
           &
           s__causes(V__Withdrawal,V__Penalty))))))
=>
s__liquidity(V__Account,s__HighLiquidity))
&
(s__liquidity(V__Account,s__HighLiquidity) =>
(s__instance(V__Withdrawal,s__Withdrawal) &
s__instance(V__Account,s__FinancialAccount) &
s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
&
~(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__destination(V__Penalty,s__CurrencyFn(V__Account))
&
s__causes(V__Withdrawal,V__Penalty))))))))
)
)

 FinancialOntology.kif 1767-1777 A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
( ! [V__Account,V__Bank] :
   ((s__instance(V__Bank,s__FinancialOrganization) =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__accountAt(V__Account,V__Bank))
         =>
         (( ? [V__Activity] :
             ((s__instance(V__Activity,s__ControllingAnAccount) &
                 s__patient(V__Activity,V__Account)
               &
               s__agent(V__Activity,V__Bank))))))))
)
)

 FinancialOntology.kif 76-84
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__OpeningAnAccount,s__MeasureFn(V__Balance,V__U))
         &
         s__instance(V__U,s__UnitOfCurrency))
       =>
       (( ? [V__Payment] :
           ((s__instance(V__Payment,s__FinancialTransaction) &
               (s__destination(V__Payment,s__CurrencyFn(V__Account))
             &
             s__transactionAmount(V__Payment,s__MeasureFn(V__Amount,V__U))
         &
         s__greaterThanOrEqualTo(V__Amount,V__Balance)
       &
       s__agreementEffectiveDate(V__Account,V__Date)
     &
     s__date(V__Payment,V__Date)))))))))
)
)

 FinancialOntology.kif 646-659
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U))
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U))
     &
     s__lessThan(V__Amount,V__Balance))
=>
(( ? [V__Penalty] :
     ((s__instance(V__Penalty,s__Penalty) &
         s__date(V__Penalty,V__Date)
       &
       s__destination(V__Penalty,s__CurrencyFn(V__Account)))))))))
)
)

 FinancialOntology.kif 661-674
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Deposit,s__Deposit) &
             s__instance(V__Account,s__FinancialAccount) &
             s__destination(V__Deposit,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Deposit,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit))
  ,V__Balance1)
&
(V__Balance2 = s__AdditionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit))
,V__Balance2)))))
)
)

 FinancialOntology.kif 428-436
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Payment,s__Payment) &
             s__origin(V__Payment,s__CurrencyFn(V__Account))
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__transactionAmount(V__Payment,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment))
  ,V__Balance1)
&
(V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment))
,V__Balance2)))))
)
)

 FinancialOntology.kif 408-416
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Withdrawal,s__Withdrawal) &
             s__instance(V__Account,s__FinancialAccount) &
             s__origin(V__Withdrawal,V__Account)
           &
           s__transactionAmount(V__Withdrawal,V__Amount)
         &
         s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal))
    ,V__Balance1)
   &
   (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal))
,V__Balance2)))))
)
)

 FinancialOntology.kif 449-457
( ! [V__Amount,V__Processing,V__Account,V__Check,V__ProcessingTime,V__DepositTime] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Check,s__Object) &
         s__instance(V__ProcessingTime,s__TimeInterval) &
         s__instance(V__DepositTime,s__TimeInterval))
       =>
       (((s__monetaryValue(V__Check,V__Amount)
           &
           s__instance(V__Processing,s__ProcessingACheck) &
           s__patient(V__Processing,V__Check)
         &
         s__destination(V__Processing,s__CurrencyFn(V__Account))
     &
     s__instance(V__Account,s__FinancialAccount) &
     (s__WhenFn(V__Processing)
     = V__ProcessingTime))
=>
(( ? [V__Deposit] :
     ((s__instance(V__Deposit,s__Deposit) &
         s__instrument(V__Deposit,V__Check)
       &
       (s__WhenFn(V__Deposit)
       = V__DepositTime)
     &
     s__meetsTemporally(V__ProcessingTime,V__DepositTime)
   &
   s__transactionAmount(V__Deposit,V__Amount)
&
s__destination(V__Deposit,s__CurrencyFn(V__Account)))))))))
)
)

 FinancialOntology.kif 120-135
( ! [V__Amount,V__Date,V__Account,V__Payment,V__DueDate] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Payment,s__FinancialTransaction) &
         s__instance(V__DueDate,s__TimeInterval))
       =>
       (((s__transactionAmount(V__Payment,V__Amount)
           &
           s__date(V__Payment,V__Date)
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__destination(V__Payment,s__CurrencyFn(V__Account))
     &
     s__amountDue(V__Account,V__Amount,V__DueDate)
   &
   s__before(s__EndFn(V__Date)
,s__BeginFn(V__DueDate)))
=>
(s__instance(V__Payment,s__Prepayment)))))
)
)

 FinancialOntology.kif 788-796
( ! [V__Account] :
   ((s__instance(V__Account,s__FinancialAccount) =>
       ((s__property(V__Account,s__FinancialContract) &
           s__property(V__Account,s__ServiceContract))))
     )
   )

 FinancialOntology.kif 63-67
( ! [V__Account] :
   ((s__instance(V__Account,s__FinancialAccount) =>
       (( ? [V__Organization] :
           ((s__instance(V__Organization,s__FinancialOrganization) &
               s__accountAt(V__Account,V__Organization))))))
   )
)

 FinancialOntology.kif 69-74

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


( ! [V__Card,V__Bank] :
   (((s__instance(V__Bank,s__FinancialOrganization) &
         s__instance(V__Bank,s__CognitiveAgent))
       =>
       (((s__instance(V__Card,s__BankCard) &
             s__issuedBy(V__Card,V__Bank))
         =>
         (( ? [V__Account] :
             ((s__instance(V__Account,s__FinancialAccount) &
                 s__cardAccount(V__Card,V__Account)
               &
               s__accountAt(V__Account,V__Bank))))))))
)
)

 FinancialOntology.kif 188-196
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 391-401
( ! [V__OpeningTime,V__Agent,V__Bank,V__Opening] :
   (((s__instance(V__OpeningTime,s__TimeInterval) &
         s__instance(V__Agent,s__CognitiveAgent))
       =>
       (((s__instance(V__Opening,s__OpeningAnAccount) &
             s__eventLocated(V__Opening,V__Bank)
           &
           s__instance(V__Bank,s__FinancialOrganization) &
           s__agent(V__Opening,V__Agent)
         &
         (s__WhenFn(V__Opening)
         = V__OpeningTime))
     =>
     (( ? [V__Account, V__AccountPeriod] :
         ((s__instance(V__AccountPeriod,s__TimeInterval) &
             (s__agreementPeriod(V__Account,V__AccountPeriod)
             &
             s__meetsTemporally(V__OpeningTime,V__AccountPeriod)
           &
           s__instance(V__Account,s__FinancialAccount) &
           s__accountAt(V__Account,V__Bank)
         &
         s__accountHolder(V__Account,V__Agent)))))))))
)
)

 FinancialOntology.kif 293-306
( ! [V__Withdrawal] :
   ((s__instance(V__Withdrawal,s__Withdrawal) =>
       (( ? [V__Account] :
           ((s__instance(V__Account,s__FinancialAccount) &
               s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))))))
)
)

 FinancialOntology.kif 442-447
( ! [V__STATEMENT,V__ACCT] :
   (((s__instance(V__STATEMENT,s__BankStatement) &
         s__instance(V__ACCT,s__FinancialAccount))
       =>
       ((s__lastStatement(V__ACCT,V__STATEMENT)
         =>
         (s__instance(V__ACCT,s__FinancialAccount)))))
   )
)

 FinancialOntology.kif 3793-3795


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