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 10036-10036 externalImage FinancialAccount and "http://upload.wikimedia.org/wikipedia/commons/9/99/ Gnucash-account-summary.png"
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 subclass FinancialAccount and Agreement

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2246-2246 range AccountFn and FinancialAccount
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 957-957 subclass CorporateAccount and FinancialAccount
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 968-968 subclass DepositAccount and FinancialAccount
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 912-912 subclass InterestBearingAccount and FinancialAccount
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1103-1103 subclass LiabilityAccount and FinancialAccount
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1117-1117 subclass PensionPlan and FinancialAccount
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 936-936 subclass PersonalAccount and FinancialAccount
(termFormat ChineseLanguage FinancialAccount "金融账户") domainEnglishFormat.kif 23665-23665 termFormat ChineseLanguage, FinancialAccount and "金融账户"
(termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") domainEnglishFormat.kif 23664-23664 termFormat ChineseTraditionalLanguage, FinancialAccount and "金融賬戶"
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 23663-23663 termFormat EnglishLanguage, FinancialAccount and "financial account"

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 283-283 domain CurrencyFn, 1 and FinancialAccount
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 domain accountAt, 1 and FinancialAccount
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 domain accountHolder, 1 and FinancialAccount
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3334-3334 domain accountNumber, 1 and FinancialAccount
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3841-3841 domain accountStatus, 1 and FinancialAccount
(domain administrator 1 FinancialAccount) FinancialOntology.kif 3855-3855 domain administrator, 1 and FinancialAccount
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 608-608 domain amountDue, 1 and FinancialAccount
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3653-3653 domain availableBalance, 1 and FinancialAccount
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3673-3673 domain availableCash, 1 and FinancialAccount
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 3933-3933 domain buyingPowerAmount, 1 and FinancialAccount
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 domain cardAccount, 2 and FinancialAccount
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 domain checkAccount, 2 and FinancialAccount
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 523-523 domain compoundInterest, 1 and FinancialAccount
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3711-3711 domain creditsPerPeriod, 1 and FinancialAccount
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 631-631 domain currentAccountBalance, 1 and FinancialAccount
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 573-573 domain currentInterestRate, 1 and FinancialAccount
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3832-3832 domain dailyLimit, 1 and FinancialAccount
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3647-3647 domain financialAccount, 1 and FinancialAccount
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 580-580 domain fixedInterestRate, 1 and FinancialAccount
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 497-497 domain interestEarned, 1 and FinancialAccount
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 543-543 domain interestRatePerPeriod, 1 and FinancialAccount
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3739-3739 domain lastStatement, 1 and FinancialAccount
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 3881-3881 domain lastStatementBalance, 1 and FinancialAccount
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1750-1750 domain liquidity, 1 and FinancialAccount
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 3942-3942 domain marginBalanceAmount, 1 and 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 2250-2255 instance FinancialAccount and FinancialAccount possesses CognitiveAgent and FinancialAsset equal FinancialAccount and AccountFn FinancialAsset accountHolder FinancialAccount and CognitiveAgent
(<=>
    (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 1754-1764 instance Process and Withdrawal instance FinancialAccount and FinancialAccount origin Process and CurrencyFn FinancialAccount Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process 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 ?Balance))
    (exists (?Payment)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))
FinancialOntology.kif 645-655
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account UsingAnAccount ?Balance)
        (currentAccountBalance ?Account ?Date ?Amount)
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 657-667
(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit)) ?Balance1)
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit)) ?Balance2))
FinancialOntology.kif 428-436
(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment)) ?Balance2))
FinancialOntology.kif 408-416
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal)) ?Balance2))
FinancialOntology.kif 449-457
(=>
    (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 778-786
(=>
    (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 442-447
(=>
    (lastStatement ?ACCT ?STATEMENT)
    (instance ?ACCT FinancialAccount))
FinancialOntology.kif 3744-3746


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners