Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialAccount

 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 FinancialAccount è una sottoclasse di Account
(subclass FinancialAccount Agreement) FinancialOntology.kif 58-58 FinancialAccount è una sottoclasse di Agreement

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


(range AccountFn FinancialAccount) FinancialOntology.kif 2317-2317 rango di AccountFn è un'istanza di FinancialAccount
(subclass CorporateAccount FinancialAccount) FinancialOntology.kif 1013-1013 CorporateAccount è una sottoclasse di FinancialAccount
(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1024-1024 DepositAccount è una sottoclasse di FinancialAccount
(subclass InterestBearingAccount FinancialAccount) FinancialOntology.kif 968-968 InterestBearingAccount è una sottoclasse di FinancialAccount
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1159-1159 LiabilityAccount è una sottoclasse di FinancialAccount
(subclass PensionPlan FinancialAccount) FinancialOntology.kif 1173-1173 PensionPlan è una sottoclasse di FinancialAccount
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 992-992 PersonalAccount è una sottoclasse di FinancialAccount
(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 Il numero 1 argomenti di CurrencyFn è un istanza di FinancialAccount
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 Il numero 1 argomenti di accountAt è un istanza di FinancialAccount
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 249-249 Il numero 1 argomenti di accountHolder è un istanza di FinancialAccount
(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3439-3439 Il numero 1 argomenti di accountNumber è un istanza di FinancialAccount
(domain accountStatus 1 FinancialAccount) FinancialOntology.kif 3999-3999 Il numero 1 argomenti di accountStatus è un istanza di FinancialAccount
(domain administrator 1 FinancialAccount) FinancialOntology.kif 4013-4013 Il numero 1 argomenti di administrator è un istanza di FinancialAccount
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 649-649 Il numero 1 argomenti di amountDue è un istanza di FinancialAccount
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3807-3807 Il numero 1 argomenti di availableBalance è un istanza di FinancialAccount
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3830-3830 Il numero 1 argomenti di availableCash è un istanza di FinancialAccount
(domain buyingPowerAmount 1 FinancialAccount) FinancialOntology.kif 4091-4091 Il numero 1 argomenti di buyingPowerAmount è un istanza di FinancialAccount
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237 Il numero 2 argomenti di cardAccount è un istanza di FinancialAccount
(domain checkAccount 2 FinancialAccount) FinancialOntology.kif 243-243 Il numero 2 argomenti di checkAccount è un istanza di FinancialAccount
(domain compoundInterest 1 FinancialAccount) FinancialOntology.kif 552-552 Il numero 1 argomenti di compoundInterest è un istanza di FinancialAccount
(domain creditsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3871-3871 Il numero 1 argomenti di creditsPerPeriod è un istanza di FinancialAccount
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 672-672 Il numero 1 argomenti di currentAccountBalance è un istanza di FinancialAccount
(domain currentInterestRate 1 FinancialAccount) FinancialOntology.kif 614-614 Il numero 1 argomenti di currentInterestRate è un istanza di FinancialAccount
(domain dailyLimit 1 FinancialAccount) FinancialOntology.kif 3990-3990 Il numero 1 argomenti di dailyLimit è un istanza di FinancialAccount
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3801-3801 Il numero 1 argomenti di financialAccount è un istanza di FinancialAccount
(domain fixedInterestRate 1 FinancialAccount) FinancialOntology.kif 621-621 Il numero 1 argomenti di fixedInterestRate è un istanza di FinancialAccount
(domain interestEarned 1 FinancialAccount) FinancialOntology.kif 522-522 Il numero 1 argomenti di interestEarned è un istanza di FinancialAccount
(domain interestRatePerPeriod 1 FinancialAccount) FinancialOntology.kif 580-580 Il numero 1 argomenti di interestRatePerPeriod è un istanza di FinancialAccount
(domain lastStatement 1 FinancialAccount) FinancialOntology.kif 3898-3898 Il numero 1 argomenti di lastStatement è un istanza di FinancialAccount
(domain lastStatementBalance 1 FinancialAccount) FinancialOntology.kif 4039-4039 Il numero 1 argomenti di lastStatementBalance è un istanza di FinancialAccount
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1813-1813 Il numero 1 argomenti di liquidity è un istanza di FinancialAccount
(domain marginBalanceAmount 1 FinancialAccount) FinancialOntology.kif 4100-4100 Il numero 1 argomenti di marginBalanceAmount è un istanza di 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 2321-2326 FinancialAccount è un' istanza di FinancialAccount AgenteCognitivo possiedees FinancialAsset FinancialAccount is uguale a AccountFn FinancialAsset accountHolder FinancialAccount and AgenteCognitivo
(<=>
    (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 Processo è un' istanza di Withdrawal FinancialAccount è un' istanza di FinancialAccount Processo si originas in CurrencyFn FinancialAccount Processo Processo è un' istanza di Penalty Processo fines in CurrencyFn FinancialAccount Processo causas Processo 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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