| 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 | 金融账户 是 Account 的 subclass |
| (subclass FinancialAccount Agreement) | FinancialOntology.kif 60-60 | 金融账户 是 协议 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain CurrencyFn 1 FinancialAccount) | FinancialOntology.kif 285-285 | 货币 的 1 数量 是 金融账户 的 instance |
| (domain accountAt 1 FinancialAccount) | FinancialOntology.kif 232-232 | 帐号在 的 1 数量 是 金融账户 的 instance |
| (domain accountHolder 1 FinancialAccount) | FinancialOntology.kif 251-251 | 帐户持有人 的 1 数量 是 金融账户 的 instance |
| (domain accountNumber 1 FinancialAccount) | FinancialOntology.kif 3457-3457 | 帐号 的 1 数量 是 金融账户 的 instance |
| (domain accountStatus 1 FinancialAccount) | FinancialOntology.kif 4017-4017 | 帐户状态 的 1 数量 是 金融账户 的 instance |
| (domain administrator 1 FinancialAccount) | FinancialOntology.kif 4031-4031 | 管理员 的 1 数量 是 金融账户 的 instance |
| (domain amountDue 1 FinancialAccount) | FinancialOntology.kif 651-651 | 到期金额 的 1 数量 是 金融账户 的 instance |
| (domain availableBalance 1 FinancialAccount) | FinancialOntology.kif 3825-3825 | 可用余额 的 1 数量 是 金融账户 的 instance |
| (domain availableCash 1 FinancialAccount) | FinancialOntology.kif 3848-3848 | 可用现金 的 1 数量 是 金融账户 的 instance |
| (domain buyingPowerAmount 1 FinancialAccount) | FinancialOntology.kif 4109-4109 | 购买电量 的 1 数量 是 金融账户 的 instance |
| (domain cardAccount 2 FinancialAccount) | FinancialOntology.kif 239-239 | 卡帐户 的 2 数量 是 金融账户 的 instance |
| (domain checkAccount 2 FinancialAccount) | FinancialOntology.kif 245-245 | 检查帐户 的 2 数量 是 金融账户 的 instance |
| (domain compoundInterest 1 FinancialAccount) | FinancialOntology.kif 554-554 | 复利 的 1 数量 是 金融账户 的 instance |
| (domain creditsPerPeriod 1 FinancialAccount) | FinancialOntology.kif 3889-3889 | 每期积分 的 1 数量 是 金融账户 的 instance |
| (domain currentAccountBalance 1 FinancialAccount) | FinancialOntology.kif 674-674 | 目前账户余额 的 1 数量 是 金融账户 的 instance |
| (domain currentInterestRate 1 FinancialAccount) | FinancialOntology.kif 616-616 | 目前的利率 的 1 数量 是 金融账户 的 instance |
| (domain dailyLimit 1 FinancialAccount) | FinancialOntology.kif 4008-4008 | 每日限额 的 1 数量 是 金融账户 的 instance |
| (domain financialAccount 1 FinancialAccount) | FinancialOntology.kif 3819-3819 | financialAccount 的 1 数量 是 金融账户 的 instance |
| (domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 623-623 | 固定利率 的 1 数量 是 金融账户 的 instance |
| (domain interestEarned 1 FinancialAccount) | FinancialOntology.kif 524-524 | 利息收入 的 1 数量 是 金融账户 的 instance |
| (domain interestRatePerPeriod 1 FinancialAccount) | FinancialOntology.kif 582-582 | 每期利率 的 1 数量 是 金融账户 的 instance |
| (domain lastStatement 1 FinancialAccount) | FinancialOntology.kif 3916-3916 | 最后声明 的 1 数量 是 金融账户 的 instance |
| (domain lastStatementBalance 1 FinancialAccount) | FinancialOntology.kif 4057-4057 | 最后陈述余额 的 1 数量 是 金融账户 的 instance |
| (domain liquidity 1 FinancialAccount) | FinancialOntology.kif 1830-1830 | 流动性 的 1 数量 是 金融账户 的 instance |
| (domain marginBalanceAmount 1 FinancialAccount) | FinancialOntology.kif 4118-4118 | 余额幅度 的 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 2338-2343 | 金融账户 是 金融账户 的 instance 和 有认知的主事 possesses 金融资产 和 equal 那个 金融账户 and 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 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 | 过程 是 退出 的 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 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 |
|
|
|