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
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58

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


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

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


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

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
(<=>
    (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
(=>
    (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