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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialAccount

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


(documentation FinancialAccount EnglishLanguage "A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions.") FinancialOntology.kif 59-61
(externalImage FinancialAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png") pictureList.kif 10026-10026
(subclass FinancialAccount Account) ComputingBrands.kif 4504-4504 Financial account is a subclass of account
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 Financial account is a subclass of agreement

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2325-2325 The range of account is an instance of financial account
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1012-1012 Corporate account is a subclass of financial account
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1023-1023 Deposit account is a subclass of financial account
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 967-967 Interest bearing account is a subclass of financial account
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1158-1158 Liability account is a subclass of financial account
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1172-1172 Pension plan is a subclass of financial account
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 991-991 Personal account is a subclass of financial account
(termFormat ChineseLanguage FinancialAccount "金融账户") domainEnglishFormat.kif 23727-23727
(termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") domainEnglishFormat.kif 23726-23726
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 23725-23725

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 283-283 The number 1 argument of currency is an instance of financial account
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 The number 1 argument of account at is an instance of financial account
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 The number 1 argument of account holder is an instance of financial account
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3445-3445 The number 1 argument of account number is an instance of financial account
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3951-3951 The number 1 argument of account status is an instance of financial account
(domain administrator 1 FinancialAccount) FinancialOntology.kif 3965-3965 The number 1 argument of administrator is an instance of financial account
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 649-649 The number 1 argument of amount due is an instance of financial account
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3759-3759 The number 1 argument of available balance is an instance of financial account
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3782-3782 The number 1 argument of available cash is an instance of financial account
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4043-4043 The number 1 argument of buying power amount is an instance of financial account
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 The number 2 argument of card account is an instance of financial account
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 The number 2 argument of check account is an instance of financial account
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 552-552 The number 1 argument of compound interest is an instance of financial account
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3823-3823 The number 1 argument of credits per period is an instance of financial account
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 672-672 The number 1 argument of current account balance is an instance of financial account
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 614-614 The number 1 argument of current interest rate is an instance of financial account
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3942-3942 The number 1 argument of daily limit is an instance of financial account
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3753-3753 The number 1 argument of financialAccount is an instance of financial account
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 621-621 The number 1 argument of fixed interest rate is an instance of financial account
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 522-522 The number 1 argument of interest earned is an instance of financial account
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 580-580 The number 1 argument of interest rate per period is an instance of financial account
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3850-3850 The number 1 argument of last statement is an instance of financial account
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 3991-3991 The number 1 argument of last statement balance is an instance of financial account
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1825-1825 The number 1 argument of liquidity is an instance of financial account
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4052-4052 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
-------------------------


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2329-2334 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
(<=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal
            (CurrencyFn ?Account))
        (not
            (exists (?Penalty)
                (and
                    (instance ?Penalty Penalty)
                    (destination ?Penalty
                        (CurrencyFn ?Account))
                    (causes ?Withdrawal ?Penalty)))))
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1829-1839 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
(=>
    (and
        (instance ?Account FinancialAccount)
        (accountAt ?Account ?Bank))
    (exists (?Activity)
        (and
            (instance ?Activity ControllingAnAccount)
            (patient ?Activity ?Account)
            (agent ?Activity ?Bank))))
FinancialOntology.kif 76-84
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account OpeningAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency))
    (exists (?Payment)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment
                (MeasureFn ?Amount ?U))
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))
FinancialOntology.kif 686-699
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account UsingAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency)
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Amount ?U))
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 701-714
(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit))
        (MeasureFn ?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment))
        (MeasureFn ?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal))
        (MeasureFn ?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit)
        (and
            (instance ?Deposit Deposit)
            (instrument ?Deposit ?Check)
            (equal
                (WhenFn ?Deposit) ?DepositTime)
            (meetsTemporally ?ProcessingTime ?DepositTime)
            (transactionAmount ?Deposit ?Amount)
            (destination ?Deposit
                (CurrencyFn ?Account)))))
FinancialOntology.kif 120-135
(=>
    (and
        (transactionAmount ?Payment ?Amount)
        (date ?Payment ?Date)
        (instance ?Account FinancialAccount)
        (destination ?Payment
            (CurrencyFn ?Account))
        (amountDue ?Account ?Amount ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))
FinancialOntology.kif 833-841
(=>
    (instance ?Account FinancialAccount)
    (and
        (property ?Account FinancialContract)
        (property ?Account ServiceContract)))
FinancialOntology.kif 63-67
(=>
    (instance ?Account FinancialAccount)
    (exists (?Organization)
        (and
            (instance ?Organization FinancialOrganization)
            (accountAt ?Account ?Organization))))
FinancialOntology.kif 69-74

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


(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 188-196
(=>
    (and
        (instance ?Closing ClosingAnAccount)
        (patient ?Closing ?Account))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Closing))
            (instance ?Account FinancialAccount))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Closing))
            (not
                (instance ?Account FinancialAccount)))))
FinancialOntology.kif 391-401
(=>
    (and
        (instance ?Opening OpeningAnAccount)
        (eventLocated ?Opening ?Bank)
        (instance ?Bank FinancialOrganization)
        (agent ?Opening ?Agent)
        (equal
            (WhenFn ?Opening) ?OpeningTime))
    (exists (?Account ?AccountPeriod)
        (and
            (agreementPeriod ?Account ?AccountPeriod)
            (meetsTemporally ?OpeningTime ?AccountPeriod)
            (instance ?Account FinancialAccount)
            (accountAt ?Account ?Bank)
            (accountHolder ?Account ?Agent))))
FinancialOntology.kif 293-306
(=>
    (instance ?Withdrawal Withdrawal)
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (origin ?Withdrawal
                (CurrencyFn ?Account)))))
FinancialOntology.kif 459-464
(=>
    (lastStatement ?ACCT ?STATEMENT)
    (instance ?ACCT FinancialAccount))
FinancialOntology.kif 3855-3857


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

Show without tree


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