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

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2334-2334 範圍 帳戶 and 金融賬戶
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1015-1015 子類 企業帳戶 and 金融賬戶
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1026-1026 子類 存款賬戶 and 金融賬戶
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 970-970 子類 計息賬戶 and 金融賬戶
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1175-1175 子類 責任賬戶 and 金融賬戶
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1189-1189 子類 養老金計劃 and 金融賬戶
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 994-994 子類 個人賬戶 and 金融賬戶
(termFormat ChineseLanguage FinancialAccount "金融账户") domainEnglishFormat.kif 23737-23737 子類 個人賬戶 and 金融賬戶
(termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") domainEnglishFormat.kif 23736-23736 子類 個人賬戶 and 金融賬戶
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 23735-23735 子類 個人賬戶 and 金融賬戶

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 285-285 域 貨幣, 1 and 金融賬戶
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 232-232 域 帳號在, 1 and 金融賬戶
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 251-251 域 帳戶持有人, 1 and 金融賬戶
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3457-3457 域 帳號, 1 and 金融賬戶
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 4017-4017 域 帳戶狀態, 1 and 金融賬戶
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4031-4031 域 管理員, 1 and 金融賬戶
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 651-651 域 到期金額, 1 and 金融賬戶
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3825-3825 域 可用餘額, 1 and 金融賬戶
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3848-3848 域 可用現金, 1 and 金融賬戶
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4109-4109 域 購買電量, 1 and 金融賬戶
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 239-239 域 卡帳戶, 2 and 金融賬戶
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 245-245 域 檢查帳戶, 2 and 金融賬戶
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 554-554 域 複利, 1 and 金融賬戶
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3889-3889 域 每期積分, 1 and 金融賬戶
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 674-674 域 目前賬戶餘額, 1 and 金融賬戶
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 616-616 域 目前的利率, 1 and 金融賬戶
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 4008-4008 域 每日限額, 1 and 金融賬戶
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3819-3819 域 financialAccount, 1 and 金融賬戶
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 623-623 域 固定利率, 1 and 金融賬戶
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 524-524 域 利息收入, 1 and 金融賬戶
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 582-582 域 每期利率, 1 and 金融賬戶
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3916-3916 域 最後聲明, 1 and 金融賬戶
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4057-4057 域 最後陳述餘額, 1 and 金融賬戶
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1830-1830 域 流動性, 1 and 金融賬戶
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4118-4118 域 餘額幅度, 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 2338-2343 例 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 equal 金融賬戶 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 1835-1845 例 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 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