consequent

(=>     (and         (amountDue ?Account ?Amount ?DueDate)         (accountHolder ?Account ?Agent))     (holdsObligation         (KappaFn ?Payment             (and                 (instance ?Payment Payment)                 (transactionAmount ?Payment ?Amount)                 (or                     (destination ?Payment                         (CurrencyFn ?Account))                     (origin ?Payment                         (CurrencyFn ?Account)))                 (date ?Payment ?Date)                 (beforeOrEqual                     (EndFn ?Date)                     (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 657-669	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (downPayment ?Loan ?Amount)         (agreementEffectiveDate ?Loan ?Date))     (exists (?Payment)         (and             (transactionAmount ?Payment ?Amount)             (date ?Payment ?Date)             (destination ?Payment                 (CurrencyFn ?Loan)))))	FinancialOntology.kif 809-818	If a currency measure is a down payment of a loan and a time point is an agreement effective date of the loan, then there exists a financial transaction such that the currency measure is a transaction amount of the financial transaction and date of the financial transaction is the time point and the financial transaction ends up at the currency of the loan
(=>     (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	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
(=>     (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	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalizing and date of the process is the day and the process ends up at the currency of the financial account
(=>     (and         (instance ?Account LiabilityAccount)         (minimumPayment ?Account             (MeasureFn ?MinPayment ?U) MonthDuration)         (instance ?U UnitOfCurrency)         (exists (?Payment ?Month)             (and                 (instance ?Month Month)                 (destination ?Payment                     (CurrencyFn ?Account))                 (paymentsPerPeriod ?Account                     (MeasureFn ?Amount ?U) ?Month)                 (lessThan ?Amount ?MinPayment))))     (exists (?Penalty)         (and             (instance ?Penalty Penalty)             (destination ?Penalty                 (CurrencyFn ?Account)))))	FinancialOntology.kif 761-777	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the liability account
(=>     (and         (instance ?Account SavingsAccount)         (accountHolder ?Account ?Agent)         (interestEarned ?Account ?Interest ?Period))     (exists (?Payment)         (and             (destination ?Payment                 (CurrencyFn ?Account))             (transactionAmount ?Payment ?Interest)             (destination ?Payment ?Agent))))	FinancialOntology.kif 1045-1054	If a financial account is an instance of savings account and a cognitive agent holds account the financial account and the financial account is interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the cognitive agent
(=>     (and         (instance ?Account TraditionalSavingsAccount)         (instance ?Withdrawal Withdrawal)         (origin ?Withdrawal             (CurrencyFn ?Account)))     (not         (exists (?Penalty)             (and                 (instance ?Penalty Penalty)                 (destination ?Penalty                     (CurrencyFn ?Account))                 (causes ?Withdrawal ?Penalty)))))	FinancialOntology.kif 1117-1126	If a financial account is an instance of traditional savings account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account, then there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
(=>     (and         (instance ?CD CertificateOfDeposit)         (maturityDate ?CD ?MaturityDate)         (instance ?Withdrawal Withdrawal)         (origin ?Withdrawal             (CurrencyFn ?CD))         (date ?Withdrawal ?DateOfWithdrawal)         (before             (EndFn ?DateOfWithdrawal)             (BeginFn ?MaturityDate)))     (exists (?Penalty)         (and             (instance ?Penalty Penalty)             (destination ?Penalty                 (CurrencyFn ?CD))             (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1089-1101	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
(=>     (and         (instance ?Depositing DepositingACheck)         (patient ?Depositing ?Check)         (instance ?Check Check)         (checkAccount ?Check ?Account)         (monetaryValue ?Check ?Amount))     (exists (?Deposit)         (and             (instance ?Deposit Deposit)             (destination ?Deposit                 (CurrencyFn ?Account))             (transactionAmount ?Deposit ?Amount))))	FinancialOntology.kif 342-353	If a process is an instance of depositing a check and a check is a patient of the process and the check is an instance of check and a financial account is a check account of the check and value of the check is a currency measure, then there exists a financial transaction such that the financial transaction is an instance of deposit and the financial transaction ends up at the currency of the financial account and the currency measure is a transaction amount of the financial transaction
(=>     (and         (instance ?Loan BalloonLoan)         (maturityDate ?Loan ?Date)         (totalBalance ?Loan ?Amount)         (borrower ?Loan ?Agent))     (holdsObligation         (KappaFn ?Payment             (and                 (date ?Payment ?Date)                 (transactionAmount ?Payment ?Amount)                 (destination ?Payment                     (CurrencyFn ?Loan)))) ?Agent))	FinancialOntology.kif 1427-1437	If a loan is an instance of balloon loan and a day is a maturity date of the loan and a currency measure is a total balance of the loan and the loan is the borrower of a cognitive agent, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (instance ?Refinancing Refinancing)         (time ?Refinancing ?Time)         (instance ?Loan Loan)         (securedBy ?Loan ?Collateral)         (borrower ?Loan ?Borrower)         (currentAccountBalance ?Loan ?Time ?Amount)         (patient ?Refinancing ?Loan))     (exists (?NewLoan ?Payment)         (and             (instance ?NewLoan Loan)             (borrower ?NewLoan ?Borrower)             (securedBy ?Loan ?Collateral)             (destination ?Payment                 (CurrencyFn ?Loan))             (time ?Payment ?Time)             (origin ?Payment                 (CurrencyFn ?NewLoan))             (transactionAmount ?Payment ?Amount))))	FinancialOntology.kif 1465-1482	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
(=>     (and         (instance ?Statement BankStatement)         (statementAccount ?Statement ?Account))     (exists (?Transaction)         (and             (instance ?Transaction FinancialTransaction)             (or                 (origin ?Transaction                     (CurrencyFn ?Account))                 (destination ?Transaction                     (CurrencyFn ?Account)))             (realization ?Statement ?Transaction))))	FinancialOntology.kif 3903-3913	If a bank statement is an instance of bank statement and a financial account is a statement account of the bank statement, then there exists a process such that the process is an instance of financial transaction and the process originates at the currency of the financial account or the process ends up at the currency of the financial account and the bank statement expresses the content of the process
(=>     (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	If value of an object is a currency measure and a process is an instance of processing a check and the object is a patient of the process and the process ends up at the currency of a financial account and the financial account is an instance of financial account and equal the time of existence of the process and the processTime, then there exist a financial transaction and the financial transactionTime such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and equal the time of existence of the financial transaction and the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the currency of the financial account
(=>     (instance ?Deposit Deposit)     (exists (?Account)         (destination ?Deposit             (CurrencyFn ?Account))))	FinancialOntology.kif 433-436	If a process is an instance of deposit, then there exists a financial account such that the process ends up at the currency of the financial account
(=>     (instance ?Loan ConsolidationLoan)     (exists (?Loan1 ?Loan2 ?Payment1 ?Payment2)         (and             (instance ?Loan1 Loan)             (instance ?Loan2 Loan)             (destination ?Payment1                 (CurrencyFn ?Loan1))             (destination ?Payment2                 (CurrencyFn ?Loan2))             (origin ?Payment1                 (CurrencyFn ?Loan))             (origin ?Payment2                 (CurrencyFn ?Loan)))))	FinancialOntology.kif 1539-1548	If a financial account is an instance of consolidation loan, then there exist the financial account1, the financial account2,, , a process and another process such that the financial account1 is an instance of loan and the financial account2 is an instance of loan and the process ends up at the currency of the financial account1 and the other process ends up at the currency of the financial account2 and the process originates at the currency of the financial account and the other process originates at the currency of the financial account
(=>     (instance ?Withdrawal Withdrawal)     (exists (?Account)         (and             (instance ?Account FinancialAccount)             (origin ?Withdrawal                 (CurrencyFn ?Account)))))	FinancialOntology.kif 461-466	If a process is an instance of withdrawing from an account, then there exists a financial account such that the financial account is an instance of financial account and the process originates at the currency of the financial account
(=>     (periodicPayment ?Account ?Amount ?Period)     (exists (?Payment ?Class)         (and             (instance ?Payment Payment)             (origin ?Payment                 (CurrencyFn ?Account))             (transactionAmount ?Payment ?Amount)             (instance ?Payment ?Class)             (frequency ?Class ?Period))))	FinancialOntology.kif 744-752	If a financial account is periodic payment a currency measure for a time duration, then there exist a financial transaction and a kind of process such that the financial transaction is an instance of payment and the financial transaction originates at the currency of the financial account and the currency measure is a transaction amount of the financial transaction and the financial transaction is an instance of a kind of process and the kind of process occurs every the time duration

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