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 10026-10026
(subclass FinancialAccount Account) ComputingBrands.kif 4504-4504 金融账户Accountsubclass
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 金融账户协议subclass

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2325-2325 帐户range金融账户 的实例
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1012-1012 企业帐户金融账户subclass
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1023-1023 存款账户金融账户subclass
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 967-967 计息账户金融账户subclass
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1158-1158 责任账户金融账户subclass
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1172-1172 养老金计划金融账户subclass
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 991-991 个人账户金融账户subclass
(termFormat ChineseLanguage FinancialAccount "金融账户") domainEnglishFormat.kif 23727-23727
(termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") domainEnglishFormat.kif 23726-23726
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 23725-23725

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 283-283 货币 的 1 数量 是 金融账户instance
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 帐号在 的 1 数量 是 金融账户instance
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 帐户持有人 的 1 数量 是 金融账户instance
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3445-3445 帐号 的 1 数量 是 金融账户instance
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3951-3951 帐户状态 的 1 数量 是 金融账户instance
(domain administrator 1 FinancialAccount) FinancialOntology.kif 3965-3965 管理员 的 1 数量 是 金融账户instance
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 649-649 到期金额 的 1 数量 是 金融账户instance
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3759-3759 可用余额 的 1 数量 是 金融账户instance
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3782-3782 可用现金 的 1 数量 是 金融账户instance
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4043-4043 购买电量 的 1 数量 是 金融账户instance
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 卡帐户 的 2 数量 是 金融账户instance
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 检查帐户 的 2 数量 是 金融账户instance
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 552-552 复利 的 1 数量 是 金融账户instance
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3823-3823 每期积分 的 1 数量 是 金融账户instance
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 672-672 目前账户余额 的 1 数量 是 金融账户instance
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 614-614 目前的利率 的 1 数量 是 金融账户instance
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3942-3942 每日限额 的 1 数量 是 金融账户instance
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3753-3753 financialAccount 的 1 数量 是 金融账户instance
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 621-621 固定利率 的 1 数量 是 金融账户instance
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 522-522 利息收入 的 1 数量 是 金融账户instance
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 580-580 每期利率 的 1 数量 是 金融账户instance
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3850-3850 最后声明 的 1 数量 是 金融账户instance
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 3991-3991 最后陈述余额 的 1 数量 是 金融账户instance
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1825-1825 流动性 的 1 数量 是 金融账户instance
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4052-4052 余额幅度 的 1 数量 是 金融账户instance

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 2329-2334 金融账户金融账户instance 有认知的主事 possesses 金融资产那个 金融账户 equal 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 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 1829-1839 过程退出instance 金融账户金融账户instance那个 金融账户currency那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程罚款instance那个 另外 过程那个 金融账户currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户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)
        (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)
        (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 833-841
(=>
    (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 3855-3857


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