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 FinancialAccountAccountsubclass では
(subclass FinancialAccount Agreement) FinancialOntology.kif 60-60 FinancialAccountAgreementsubclass では

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2334-2334 AccountFnrangeFinancialAccount のインスタンス では
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1015-1015 CorporateAccountFinancialAccountsubclass では
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1026-1026 DepositAccountFinancialAccountsubclass では
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 970-970 InterestBearingAccountFinancialAccountsubclass では
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1175-1175 LiabilityAccountFinancialAccountsubclass では
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1189-1189 PensionPlanFinancialAccountsubclass では
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 994-994 PersonalAccountFinancialAccountsubclass では
(termFormat ChineseLanguage FinancialAccount "金融账户") domainEnglishFormat.kif 23737-23737 PersonalAccountFinancialAccountsubclass では
(termFormat ChineseTraditionalLanguage FinancialAccount "金融賬戶") domainEnglishFormat.kif 23736-23736 PersonalAccountFinancialAccountsubclass では
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 23735-23735 PersonalAccountFinancialAccountsubclass では

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 285-285 CurrencyFn の数値 1 引数は FinancialAccountinstance では
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 232-232 accountAt の数値 1 引数は FinancialAccountinstance では
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 251-251 accountHolder の数値 1 引数は FinancialAccountinstance では
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3457-3457 accountNumber の数値 1 引数は FinancialAccountinstance では
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 4017-4017 accountStatus の数値 1 引数は FinancialAccountinstance では
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4031-4031 administrator の数値 1 引数は FinancialAccountinstance では
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 651-651 amountDue の数値 1 引数は FinancialAccountinstance では
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3825-3825 availableBalance の数値 1 引数は FinancialAccountinstance では
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3848-3848 availableCash の数値 1 引数は FinancialAccountinstance では
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4109-4109 buyingPowerAmount の数値 1 引数は FinancialAccountinstance では
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 239-239 cardAccount の数値 2 引数は FinancialAccountinstance では
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 245-245 checkAccount の数値 2 引数は FinancialAccountinstance では
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 554-554 compoundInterest の数値 1 引数は FinancialAccountinstance では
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3889-3889 creditsPerPeriod の数値 1 引数は FinancialAccountinstance では
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 674-674 currentAccountBalance の数値 1 引数は FinancialAccountinstance では
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 616-616 currentInterestRate の数値 1 引数は FinancialAccountinstance では
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 4008-4008 dailyLimit の数値 1 引数は FinancialAccountinstance では
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3819-3819 financialAccount の数値 1 引数は FinancialAccountinstance では
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 623-623 fixedInterestRate の数値 1 引数は FinancialAccountinstance では
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 524-524 interestEarned の数値 1 引数は FinancialAccountinstance では
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 582-582 interestRatePerPeriod の数値 1 引数は FinancialAccountinstance では
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3916-3916 lastStatement の数値 1 引数は FinancialAccountinstance では
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4057-4057 lastStatementBalance の数値 1 引数は FinancialAccountinstance では
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1830-1830 liquidity の数値 1 引数は FinancialAccountinstance では
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4118-4118 marginBalanceAmount の数値 1 引数は FinancialAccountinstance では

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 FinancialAccountFinancialAccountinstance では 認識エージェント FinancialAssetpossesses equal FinancialAccount and AccountFn FinancialAsset 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 1835-1845 工程Withdrawalinstance では FinancialAccountFinancialAccountinstance では 工程CurrencyFn FinancialAccount から originates 工程 工程Penaltyinstance では 工程CurrencyFn FinancialAccountends 工程 工程causes 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 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