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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialAccount

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 子類 金融賬戶 and Account
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 子類 金融賬戶 and 協議

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2317-2317 範圍 帳戶 and 金融賬戶
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1013-1013 子類 企業帳戶 and 金融賬戶
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1024-1024 子類 存款賬戶 and 金融賬戶
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 968-968 子類 計息賬戶 and 金融賬戶
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1159-1159 子類 責任賬戶 and 金融賬戶
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1173-1173 子類 養老金計劃 and 金融賬戶
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 992-992 子類 個人賬戶 and 金融賬戶
(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 貨幣, 1 and 金融賬戶
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 帳號在, 1 and 金融賬戶
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 帳戶持有人, 1 and 金融賬戶
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3439-3439 帳號, 1 and 金融賬戶
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3999-3999 帳戶狀態, 1 and 金融賬戶
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4013-4013 管理員, 1 and 金融賬戶
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 649-649 到期金額, 1 and 金融賬戶
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3807-3807 可用餘額, 1 and 金融賬戶
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3830-3830 可用現金, 1 and 金融賬戶
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4091-4091 購買電量, 1 and 金融賬戶
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 卡帳戶, 2 and 金融賬戶
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 檢查帳戶, 2 and 金融賬戶
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 552-552 複利, 1 and 金融賬戶
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3871-3871 每期積分, 1 and 金融賬戶
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 672-672 目前賬戶餘額, 1 and 金融賬戶
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 614-614 目前的利率, 1 and 金融賬戶
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3990-3990 每日限額, 1 and 金融賬戶
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3801-3801 financialAccount, 1 and 金融賬戶
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 621-621 固定利率, 1 and 金融賬戶
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 522-522 利息收入, 1 and 金融賬戶
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 580-580 每期利率, 1 and 金融賬戶
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3898-3898 最後聲明, 1 and 金融賬戶
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4039-4039 最後陳述餘額, 1 and 金融賬戶
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1813-1813 流動性, 1 and 金融賬戶
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4100-4100 餘額幅度, 1 and 金融賬戶

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 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 等於 金融賬戶 and 金融資產 的帳號 CognitiveAgent 持有 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 1818-1828 Process and 退出 金融賬戶 and 金融賬戶 起源 Process and 金融賬戶currency Process Process and 罰款 目的地 Process and 金融賬戶currency 原因 Process and Process 金融賬戶liqudity高流動性
(=>
    (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 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