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 10036-10036 externalImage FinancialAccount and "http://upload.wikimedia.org/wikipedia/commons/9/99/ Gnucash-account-summary.png"
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 subclass FinancialAccount and Agreement

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2248-2248 range AccountFn and FinancialAccount
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 958-958 subclass CorporateAccount and FinancialAccount
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 969-969 subclass DepositAccount and FinancialAccount
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 913-913 subclass InterestBearingAccount and FinancialAccount
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1104-1104 subclass LiabilityAccount and FinancialAccount
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1118-1118 subclass PensionPlan and FinancialAccount
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 937-937 subclass PersonalAccount and FinancialAccount
(termFormat EnglishLanguage FinancialAccount "financial account") domainEnglishFormat.kif 4377-4377 termFormat EnglishLanguage, FinancialAccount and "financial account"

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


(domain CurrencyFn 1 FinancialAccount) FinancialOntology.kif 283-283 domain CurrencyFn, 1 and FinancialAccount
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 domain accountAt, 1 and FinancialAccount
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 domain accountHolder, 1 and FinancialAccount
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3328-3328 domain accountNumber, 1 and FinancialAccount
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3835-3835 domain accountStatus, 1 and FinancialAccount
(domain administrator 1 FinancialAccount) FinancialOntology.kif 3849-3849 domain administrator, 1 and FinancialAccount
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 609-609 domain amountDue, 1 and FinancialAccount
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3647-3647 domain availableBalance, 1 and FinancialAccount
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3667-3667 domain availableCash, 1 and FinancialAccount
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 3928-3928 domain buyingPowerAmount, 1 and FinancialAccount
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 domain cardAccount, 2 and FinancialAccount
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 domain checkAccount, 2 and FinancialAccount
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 524-524 domain compoundInterest, 1 and FinancialAccount
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3705-3705 domain creditsPerPeriod, 1 and FinancialAccount
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 632-632 domain currentAccountBalance, 1 and FinancialAccount
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 574-574 domain currentInterestRate, 1 and FinancialAccount
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3826-3826 domain dailyLimit, 1 and FinancialAccount
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3641-3641 domain financialAccount, 1 and FinancialAccount
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 581-581 domain fixedInterestRate, 1 and FinancialAccount
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 498-498 domain interestEarned, 1 and FinancialAccount
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 544-544 domain interestRatePerPeriod, 1 and FinancialAccount
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3733-3733 domain lastStatement, 1 and FinancialAccount
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 3875-3875 domain lastStatementBalance, 1 and FinancialAccount
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1752-1752 domain liquidity, 1 and FinancialAccount
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 3937-3937 domain marginBalanceAmount, 1 and FinancialAccount

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 2252-2257 instance FinancialAccount and FinancialAccount possesses 認識エージェント and FinancialAsset 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 1756-1766 instance 工程 and Withdrawal instance FinancialAccount and FinancialAccount origin 工程 and CurrencyFn FinancialAccount 工程 instance 工程 and Penalty destination 工程 and CurrencyFn FinancialAccount causes 工程 and 工程 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 ?Deposit Deposit)
        (time ?Deposit ?TimeOfDeposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit)) ?Balance1)
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit)) ?Balance2))
FinancialOntology.kif 428-437
(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment)) ?Balance2))
FinancialOntology.kif 408-416
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (time ?Withdrawal ?TimeOfWithdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal)) ?Balance2))
FinancialOntology.kif 450-459
(=>
    (and
        (monetaryValue ?Check ?Amount)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (destination ?Processing
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (equal
            (WhenFn ?Processing) ?ProcessingTime))
    (exists (?Deposit)
        (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 ?AmountDue ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))
FinancialOntology.kif 779-787
(=>
    (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 443-448
(=>
    (lastStatement ?ACCT ?STATEMENT)
    (instance ?ACCT FinancialAccount))
FinancialOntology.kif 3738-3740


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners