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 61-63
(externalImage FinancialAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") pictureList.kif 10015-10015
(subclass FinancialAccount Account) ComputingBrands.kif 4536-4536 FinancialAccount est une sous-classe de Account
(subclass FinancialAccount Agreement) FinancialOntology.kif 60-60 FinancialAccount est une sous-classe de Agreement

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2334-2334 Le domaine de AccountFn est une instance de FinancialAccount
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1015-1015 CorporateAccount est une sous-classe de FinancialAccount
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1026-1026 DepositAccount est une sous-classe de FinancialAccount
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 970-970 InterestBearingAccount est une sous-classe de FinancialAccount
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1175-1175 LiabilityAccount est une sous-classe de FinancialAccount
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1189-1189 PensionPlan est une sous-classe de FinancialAccount
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 994-994 PersonalAccount est une sous-classe de FinancialAccount
(termFormat ChineseLanguage FinancialAccount "金融账户") domainEnglishFormat.kif 23737-23737 PersonalAccount est une sous-classe de FinancialAccount
(termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") domainEnglishFormat.kif 23736-23736 PersonalAccount est une sous-classe de FinancialAccount
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 23735-23735 PersonalAccount est une sous-classe de FinancialAccount

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 285-285 Le nombre 1 argument de CurrencyFn est une instance de FinancialAccount
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 232-232 Le nombre 1 argument de accountAt est une instance de FinancialAccount
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 251-251 Le nombre 1 argument de accountHolder est une instance de FinancialAccount
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3457-3457 Le nombre 1 argument de accountNumber est une instance de FinancialAccount
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 4017-4017 Le nombre 1 argument de accountStatus est une instance de FinancialAccount
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4031-4031 Le nombre 1 argument de administrator est une instance de FinancialAccount
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 651-651 Le nombre 1 argument de amountDue est une instance de FinancialAccount
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3825-3825 Le nombre 1 argument de availableBalance est une instance de FinancialAccount
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3848-3848 Le nombre 1 argument de availableCash est une instance de FinancialAccount
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4109-4109 Le nombre 1 argument de buyingPowerAmount est une instance de FinancialAccount
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 239-239 Le nombre 2 argument de cardAccount est une instance de FinancialAccount
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 245-245 Le nombre 2 argument de checkAccount est une instance de FinancialAccount
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 554-554 Le nombre 1 argument de compoundInterest est une instance de FinancialAccount
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3889-3889 Le nombre 1 argument de creditsPerPeriod est une instance de FinancialAccount
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 674-674 Le nombre 1 argument de currentAccountBalance est une instance de FinancialAccount
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 616-616 Le nombre 1 argument de currentInterestRate est une instance de FinancialAccount
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 4008-4008 Le nombre 1 argument de dailyLimit est une instance de FinancialAccount
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3819-3819 Le nombre 1 argument de financialAccount est une instance de FinancialAccount
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 623-623 Le nombre 1 argument de fixedInterestRate est une instance de FinancialAccount
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 524-524 Le nombre 1 argument de interestEarned est une instance de FinancialAccount
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 582-582 Le nombre 1 argument de interestRatePerPeriod est une instance de FinancialAccount
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3916-3916 Le nombre 1 argument de lastStatement est une instance de FinancialAccount
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4057-4057 Le nombre 1 argument de lastStatementBalance est une instance de FinancialAccount
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1830-1830 Le nombre 1 argument de liquidity est une instance de FinancialAccount
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4118-4118 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 2338-2343 FinancialAccount est une instance de FinancialAccount agent cognitif poss�de FinancialAsset equal FinancialAccount and 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 1835-1845 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 aboutitCurrencyFn 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 78-86
(=>
    (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 688-701
(=>
    (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 703-716
(=>
    (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 438-455
(=>
    (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 410-426
(=>
    (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 468-483
(=>
    (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 122-137
(=>
    (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 836-844
(=>
    (instance ?Account FinancialAccount)
    (and
        (property ?Account FinancialContract)
        (property ?Account ServiceContract)))
FinancialOntology.kif 65-69
(=>
    (instance ?Account FinancialAccount)
    (exists (?Organization)
        (and
            (instance ?Organization FinancialOrganization)
            (accountAt ?Account ?Organization))))
FinancialOntology.kif 71-76

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


(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 190-198
(=>
    (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 393-403
(=>
    (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 295-308
(=>
    (instance ?Withdrawal Withdrawal)
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (origin ?Withdrawal
                (CurrencyFn ?Account)))))
FinancialOntology.kif 461-466
(=>
    (lastStatement ?ACCT ?STATEMENT)
    (instance ?ACCT FinancialAccount))
FinancialOntology.kif 3921-3923


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