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

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


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

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 285-285 CurrencyFn の数値 1 引数は FinancialAccount の instance では
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 232-232 accountAt の数値 1 引数は FinancialAccount の instance では
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 251-251 accountHolder の数値 1 引数は FinancialAccount の instance では
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3457-3457 accountNumber の数値 1 引数は FinancialAccount の instance では
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 4017-4017 accountStatus の数値 1 引数は FinancialAccount の instance では
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4031-4031 administrator の数値 1 引数は FinancialAccount の instance では
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 651-651 amountDue の数値 1 引数は FinancialAccount の instance では
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3825-3825 availableBalance の数値 1 引数は FinancialAccount の instance では
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3848-3848 availableCash の数値 1 引数は FinancialAccount の instance では
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4109-4109 buyingPowerAmount の数値 1 引数は FinancialAccount の instance では
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 239-239 cardAccount の数値 2 引数は FinancialAccount の instance では
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 245-245 checkAccount の数値 2 引数は FinancialAccount の instance では
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 554-554 compoundInterest の数値 1 引数は FinancialAccount の instance では
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3889-3889 creditsPerPeriod の数値 1 引数は FinancialAccount の instance では
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 674-674 currentAccountBalance の数値 1 引数は FinancialAccount の instance では
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 616-616 currentInterestRate の数値 1 引数は FinancialAccount の instance では
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 4008-4008 dailyLimit の数値 1 引数は FinancialAccount の instance では
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3819-3819 financialAccount の数値 1 引数は FinancialAccount の instance では
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 623-623 fixedInterestRate の数値 1 引数は FinancialAccount の instance では
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 524-524 interestEarned の数値 1 引数は FinancialAccount の instance では
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 582-582 interestRatePerPeriod の数値 1 引数は FinancialAccount の instance では
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3916-3916 lastStatement の数値 1 引数は FinancialAccount の instance では
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4057-4057 lastStatementBalance の数値 1 引数は FinancialAccount の instance では
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1830-1830 liquidity の数値 1 引数は FinancialAccount の instance では
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4118-4118 marginBalanceAmount の数値 1 引数は FinancialAccount の 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 FinancialAccount は FinancialAccount の instance では 認識エージェント は FinancialAsset を possesses 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 工程 は Withdrawal の instance では FinancialAccount は FinancialAccount の instance では 工程 は CurrencyFn FinancialAccount から originates 工程 工程 は Penalty の instance では 工程 は CurrencyFn FinancialAccount に ends 工程 は 工程 を 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