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 10017-10017
(subclass FinancialAccount Account) ComputingBrands.kif 4541-4541 FinancialAccountAccountsubclass では %n
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 FinancialAccountAgreementsubclass では %n

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2317-2317 AccountFnrangeFinancialAccount のインスタンス では %n
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1013-1013 CorporateAccountFinancialAccountsubclass では %n
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1024-1024 DepositAccountFinancialAccountsubclass では %n
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 968-968 InterestBearingAccountFinancialAccountsubclass では %n
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1159-1159 LiabilityAccountFinancialAccountsubclass では %n
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1173-1173 PensionPlanFinancialAccountsubclass では %n
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 992-992 PersonalAccountFinancialAccountsubclass では %n
(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 CurrencyFn の数値 1 引数は FinancialAccountinstance では %n
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 accountAt の数値 1 引数は FinancialAccountinstance では %n
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 accountHolder の数値 1 引数は FinancialAccountinstance では %n
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3439-3439 accountNumber の数値 1 引数は FinancialAccountinstance では %n
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3999-3999 accountStatus の数値 1 引数は FinancialAccountinstance では %n
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4013-4013 administrator の数値 1 引数は FinancialAccountinstance では %n
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 649-649 amountDue の数値 1 引数は FinancialAccountinstance では %n
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3807-3807 availableBalance の数値 1 引数は FinancialAccountinstance では %n
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3830-3830 availableCash の数値 1 引数は FinancialAccountinstance では %n
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4091-4091 buyingPowerAmount の数値 1 引数は FinancialAccountinstance では %n
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 cardAccount の数値 2 引数は FinancialAccountinstance では %n
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 checkAccount の数値 2 引数は FinancialAccountinstance では %n
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 552-552 compoundInterest の数値 1 引数は FinancialAccountinstance では %n
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3871-3871 creditsPerPeriod の数値 1 引数は FinancialAccountinstance では %n
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 672-672 currentAccountBalance の数値 1 引数は FinancialAccountinstance では %n
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 614-614 currentInterestRate の数値 1 引数は FinancialAccountinstance では %n
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3990-3990 dailyLimit の数値 1 引数は FinancialAccountinstance では %n
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3801-3801 financialAccount の数値 1 引数は FinancialAccountinstance では %n
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 621-621 fixedInterestRate の数値 1 引数は FinancialAccountinstance では %n
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 522-522 interestEarned の数値 1 引数は FinancialAccountinstance では %n
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 580-580 interestRatePerPeriod の数値 1 引数は FinancialAccountinstance では %n
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3898-3898 lastStatement の数値 1 引数は FinancialAccountinstance では %n
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4039-4039 lastStatementBalance の数値 1 引数は FinancialAccountinstance では %n
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1813-1813 liquidity の数値 1 引数は FinancialAccountinstance では %n
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4100-4100 marginBalanceAmount の数値 1 引数は FinancialAccountinstance では %n

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 FinancialAccountFinancialAccountinstance では %n 認識エージェント FinancialAssetpossesses %n{ない} FinancialAccountAccountFn FinancialAssetequal では %n accountHolder FinancialAccount and 認識エージェント
(<=>
    (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 工程Withdrawalinstance では %n FinancialAccountFinancialAccountinstance では %n 工程CurrencyFn FinancialAccount から originates %n{ない} 工程 工程Penaltyinstance では %n 工程CurrencyFn FinancialAccountends %n{ない} 工程 工程causes %n{ない} liquidity FinancialAccount and HighLiquidity
(=>
    (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 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