|
|
   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 | 金融账户 是 Account 的 subclass |
| (subclass FinancialAccount Agreement) | FinancialOntology.kif 58-58 | 金融账户 是 协议 的 subclass |
| appearance as argument number 2 |
|
|
| (range AccountFn FinancialAccount) | FinancialOntology.kif 2317-2317 | 帐户 的 range 是 金融账户 的实例 |
| (subclass CorporateAccount FinancialAccount) | FinancialOntology.kif 1013-1013 | 企业帐户 是 金融账户 的 subclass |
| (subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1024-1024 | 存款账户 是 金融账户 的 subclass |
| (subclass InterestBearingAccount FinancialAccount) | FinancialOntology.kif 968-968 | 计息账户 是 金融账户 的 subclass |
| (subclass LiabilityAccount FinancialAccount) | FinancialOntology.kif 1159-1159 | 责任账户 是 金融账户 的 subclass |
| (subclass PensionPlan FinancialAccount) | FinancialOntology.kif 1173-1173 | 养老金计划 是 金融账户 的 subclass |
| (subclass PersonalAccount FinancialAccount) | FinancialOntology.kif 992-992 | 个人账户 是 金融账户 的 subclass |
| (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 数量 是 金融账户 的 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 3439-3439 | 帐号 的 1 数量 是 金融账户 的 instance |
| (domain accountStatus 1 FinancialAccount) | FinancialOntology.kif 3999-3999 | 帐户状态 的 1 数量 是 金融账户 的 instance |
| (domain administrator 1 FinancialAccount) | FinancialOntology.kif 4013-4013 | 管理员 的 1 数量 是 金融账户 的 instance |
| (domain amountDue 1 FinancialAccount) | FinancialOntology.kif 649-649 | 到期金额 的 1 数量 是 金融账户 的 instance |
| (domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3807-3807 | 可用余额 的 1 数量 是 金融账户 的 instance |
| (domain availableCash 1 FinancialAccount) | FinancialOntology.kif 3830-3830 | 可用现金 的 1 数量 是 金融账户 的 instance |
| (domain buyingPowerAmount 1 FinancialAccount) | FinancialOntology.kif 4091-4091 | 购买电量 的 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 3871-3871 | 每期积分 的 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 3990-3990 | 每日限额 的 1 数量 是 金融账户 的 instance |
| (domain financialAccount 1 FinancialAccount) | FinancialOntology.kif 3801-3801 | 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 3898-3898 | 最后声明 的 1 数量 是 金融账户 的 instance |
| (domain lastStatementBalance 1 FinancialAccount) | FinancialOntology.kif 4039-4039 | 最后陈述余额 的 1 数量 是 金融账户 的 instance |
| (domain liquidity 1 FinancialAccount) | FinancialOntology.kif 1813-1813 | 流动性 的 1 数量 是 金融账户 的 instance |
| (domain marginBalanceAmount 1 FinancialAccount) | FinancialOntology.kif 4100-4100 | 余额幅度 的 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 2321-2326 | 金融账户 是 金融账户 的 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 1818-1828 | 过程 是 退出 的 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 ?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 |
|
|
|
