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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialAccount
FinancialAccount

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 10017-10017
(subclass FinancialAccount Account) ComputingBrands.kif 4541-4541 FinancialAccount est une sous-classe de Account
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 FinancialAccount est une sous-classe de Agreement

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2317-2317 Le domaine de AccountFn est une instance de FinancialAccount
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1013-1013 CorporateAccount est une sous-classe de FinancialAccount
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1024-1024 DepositAccount est une sous-classe de FinancialAccount
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 968-968 InterestBearingAccount est une sous-classe de FinancialAccount
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1159-1159 LiabilityAccount est une sous-classe de FinancialAccount
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1173-1173 PensionPlan est une sous-classe de FinancialAccount
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 992-992 PersonalAccount est une sous-classe de FinancialAccount
(termFormat ChineseLanguage FinancialAccount "金融账户") domainEnglishFormat.kif 23732-23732
(termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") domainEnglishFormat.kif 23731-23731
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 23730-23730

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 283-283 Le nombre 1 argument de CurrencyFn est une instance de FinancialAccount
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 Le nombre 1 argument de accountAt est une instance de FinancialAccount
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 Le nombre 1 argument de accountHolder est une instance de FinancialAccount
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3439-3439 Le nombre 1 argument de accountNumber est une instance de FinancialAccount
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3999-3999 Le nombre 1 argument de accountStatus est une instance de FinancialAccount
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4013-4013 Le nombre 1 argument de administrator est une instance de FinancialAccount
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 649-649 Le nombre 1 argument de amountDue est une instance de FinancialAccount
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3807-3807 Le nombre 1 argument de availableBalance est une instance de FinancialAccount
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3830-3830 Le nombre 1 argument de availableCash est une instance de FinancialAccount
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4091-4091 Le nombre 1 argument de buyingPowerAmount est une instance de FinancialAccount
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 Le nombre 2 argument de cardAccount est une instance de FinancialAccount
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 Le nombre 2 argument de checkAccount est une instance de FinancialAccount
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 552-552 Le nombre 1 argument de compoundInterest est une instance de FinancialAccount
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3871-3871 Le nombre 1 argument de creditsPerPeriod est une instance de FinancialAccount
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 672-672 Le nombre 1 argument de currentAccountBalance est une instance de FinancialAccount
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 614-614 Le nombre 1 argument de currentInterestRate est une instance de FinancialAccount
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3990-3990 Le nombre 1 argument de dailyLimit est une instance de FinancialAccount
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3801-3801 Le nombre 1 argument de financialAccount est une instance de FinancialAccount
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 621-621 Le nombre 1 argument de fixedInterestRate est une instance de FinancialAccount
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 522-522 Le nombre 1 argument de interestEarned est une instance de FinancialAccount
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 580-580 Le nombre 1 argument de interestRatePerPeriod est une instance de FinancialAccount
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3898-3898 Le nombre 1 argument de lastStatement est une instance de FinancialAccount
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4039-4039 Le nombre 1 argument de lastStatementBalance est une instance de FinancialAccount
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1813-1813 Le nombre 1 argument de liquidity est une instance de FinancialAccount
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4100-4100 Le nombre 1 argument de marginBalanceAmount est une instance de FinancialAccount

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 2321-2326 FinancialAccount est une instance de FinancialAccount agent cognitif poss�de FinancialAsset FinancialAccount est AccountFn FinancialAsset accountHolder FinancialAccount and agent cognitif
(<=>
    (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 1818-1828 Processus est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus liquidity FinancialAccount and HighLiquidity
(=>
    (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 ?Date ?Amount)
        (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 ?DepositTime)
        (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 834-842
(=>
    (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 3903-3905


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