consequent

(=>     (and         (agent ?Purchase ?Buyer)         (origin ?Purchase ?Seller)         (patient ?Purchase ?Object)         (monetaryValue ?Object ?Money))     (exists (?Payment)         (and             (subProcess ?Payment ?Purchase)             (instance ?Payment Payment)             (transactionAmount ?Payment ?Money)             (origin ?Payment ?Buyer)             (destination ?Payment ?Seller))))	FinancialOntology.kif 489-501	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the agent and the financial transaction ends up at the object
(=>     (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         (borrower ?Loan ?Borrower)         (lender ?Loan ?Lender)         (agreementPeriod ?Loan ?Period)         (interestEarned ?Loan ?Interest ?Period))     (exists (?Payment)         (and             (origin ?Payment ?Borrower)             (transactionAmount ?Payment ?Interest)             (destination ?Payment ?Lender))))	FinancialOntology.kif 1277-1287	If a loan is the borrower of a cognitive agent and another cognitive agent lends the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the other cognitive agent
(=>     (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 ?AUCTIONS Collection)         (forall (?AUC)             (=>                 (member ?AUC ?AUCTIONS)                 (instance ?AUC Auctioning))))     (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT)         (and             (total                 (KappaFn ?AMOUNT                     (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)             (equal                 (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))	UXExperimentalTerms.kif 3201-3214	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of auctioning , then there exist a symbolic string and an entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the entity_PURCHASE_AMOUNT and equal the total purchase price of the collection and the entity_PURCHASE_AMOUNT
(=>     (and         (instance ?Account CreditAccount)         (accountAt ?Account ?Organization)         (accountHolder ?Account ?Agent)         (interestEarned ?Account ?Interest ?Period))     (exists (?Payment)         (and             (origin ?Payment ?Agent)             (transactionAmount ?Payment ?Interest)             (destination ?Payment ?Organization))))	FinancialOntology.kif 1228-1238	If a financial account is an instance of credit account and the financial account is held by a financial organization 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 originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the financial organization
(=>     (and         (instance ?Account CreditAccount)         (accountHolder ?Account ?Agent)         (principalAmount ?Account ?Principal)         (agreementPeriod ?Account ?Period)         (interestEarned ?Account ?Interest ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (holdsObligation         (KappaFn ?Payment             (transactionAmount ?Payment ?Total)) ?Agent))	FinancialOntology.kif 1240-1249	If a financial account is an instance of credit account and a cognitive agent holds account the financial account and a real number is a principal amount of the financial account and a time interval is an agreement period of the financial account and the financial account is interest earned an interest for the time interval and equal another real number and (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (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 Loan)         (borrower ?Account ?Agent)         (principalAmount ?Account ?Principal)         (agreementPeriod ?Account ?Period)         (interestEarned ?Account ?Interest ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (holdsObligation         (KappaFn ?Payment             (transactionAmount ?Payment ?Total)) ?Agent))	FinancialOntology.kif 1289-1298	If a loan is an instance of loan and the loan is the borrower of a cognitive agent and a real number is a principal amount of the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval and equal another real number and (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (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 ?Bond ZeroCouponBond)         (maturityDate             (AccountFn ?Bond) ?Date)         (possesses ?BondHolder ?Bond)         (principalAmount             (AccountFn ?Bond)             (MeasureFn ?Principal ?CUNIT))         (agreementPeriod             (AccountFn ?Bond) ?Period)         (interestEarned             (AccountFn ?Bond)             (MeasureFn ?Interest ?CUNIT) ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (exists (?Payment)         (and             (instance ?Payment Payment)             (destination ?Payment ?BondHolder)             (origin ?Payment                 (AccountFn ?Bond))             (transactionAmount ?Payment                 (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2350-2372	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and equal a third real number and (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
(=>     (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 ?Loan CallableLoan)         (lender ?Loan ?Lender)         (borrower ?Loan ?Borrower)         (totalBalance ?Loan ?Amount)         (instance ?Call Call)         (agent ?Call ?Lender)         (patient ?Call ?Loan))     (holdsObligation         (KappaFn ?Payment             (and                 (destination ?Payment ?Lender)                 (time ?Payment                     (ImmediateFutureFn                         (WhenFn ?Call)))                 (transactionAmount ?Payment ?Amount))) ?Borrower))	FinancialOntology.kif 1444-1459	If a loan is an instance of callable loan and a cognitive agent lends the loan and the loan is the borrower of another cognitive agent and a currency measure is a total balance of the loan and a process is an instance of call and the cognitive agent is an agent of the process and the loan is a patient of the process, then the other cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (instance ?PSP ProfitSharingPlan)         (accountHolder ?PSP ?H)         (employs ?O ?H)         (profit ?A             (MeasureFn ?P ?U))         (instance ?U UnitOfCurrency)         (agent ?A ?O))     (exists (?C ?PAY)         (and             (instance ?PAY FinancialTransaction)             (transactionAmount ?PAY                 (MeasureFn ?C ?U))             (lessThan ?C ?P)             (destination ?PAY ?PSP))))	FinancialOntology.kif 1208-1223	If a financial account is an instance of profit sharing plan and a cognitive agent holds account the financial account and an agent employs the cognitive agent and the profit from a financial transaction is a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the agent is an agent of the financial transaction, then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and the other real number the unit of measure(s) is a transaction amount of the real numberAY and the other real number is less than the real number and the real numberAY ends up at the financial account
(=>     (and         (instance ?PURCHASES Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?PURCHASES)                 (instance ?MEMBER Buying)))         (exists (?REGION)             (and                 (instance ?REGION GeopoliticalArea)                 (forall (?BUYER ?BUYING)                     (=>                         (and                             (instance ?BUYER AutonomousAgent)                             (instance ?BUYING Buying)                             (member ?BUYING ?PURCHASES)                             (agent ?BUYING ?BUYER))                         (located ?BUYER ?REGION))))))     (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)         (and             (total                 (KappaFn ?AMOUNT                     (and                         (instance ?PURCHASE Buying)                         (member ?PURCHASE ?PURCHASES)                         (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)             (equal                 (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))	UXExperimentalTerms.kif 2955-2982	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of buying and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_PURCHASE_AMOUNT and equal the value of the collection and the other entity_PURCHASE_AMOUNT
(=>     (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 ?SALES Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?SALES)                 (instance ?MEMBER Selling)))         (exists (?REGION)             (and                 (instance ?REGION GeopoliticalArea)                 (forall (?SELLER ?SELLING)                     (=>                         (and                             (instance ?SELLER AutonomousAgent)                             (instance ?SELLING Buying)                             (member ?SELLING ?SALES)                             (agent ?SELLING ?SELLER))                         (located ?SELLER ?REGION))))))     (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)         (and             (total                 (KappaFn ?AMOUNT                     (and                         (instance ?SALE Selling)                         (member ?SALE ?SALES)                         (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)             (equal                 (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT))))	UXExperimentalTerms.kif 2998-3025	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of selling and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_SALE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_SALE_AMOUNT and equal the value of the collection and the other entity_SALE_AMOUNT
(=>     (and         (monetaryValue ?Check ?Amount)         (checkAccount ?Check ?Account)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check)         (equal             (WhenFn ?Processing) ?ProcessingTime))     (exists (?Withdrawal ?WithdrawalTime)         (and             (instance ?Withdrawal Withdrawal)             (instrument ?Withdrawal ?Check)             (equal                 (WhenFn ?Withdrawal) ?WithdrawalTime)             (meetsTemporally ?ProcessingTime ?WithdrawalTime)             (transactionAmount ?Withdrawal ?Amount)             (origin ?Withdrawal ?Account))))	FinancialOntology.kif 106-120	If value of a check is a currency measure and a financial account is a check account of the check and a process is an instance of processing a check and the check is a patient of the process 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 withdrawing from an account and the check 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 originates at the financial account
(=>     (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
(=>     (and         (negotiatedPrice ?ENT ?PRICE ?AGREE)         (partyToAgreement ?SELLER ?AGREE)         (partyToAgreement ?BUYER ?AGREE))     (agreementClause         (exists (?B ?ITEM)             (and                 (instance ?B Buying)                 (patient ?B ?ITEM)                 (immediateInstance ?ITEM ?ENT)                 (agent ?B ?BUYER)                 (origin ?B ?SELLER)                 (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER))	Catalog.kif 311-324	If the &egotiatedPrice$"price" negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent has the responsibility to make there exist an entity and another entity such that the entity is an instance of buying and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the other cognitive agent is an agent of the entity and the entity originates at the cognitive agent and the currency measure is a transaction amount of the entity obligation in the agreement
(=>     (and         (negotiatedPrice ?ENT ?PRICE ?AGREE)         (partyToAgreement ?SELLER ?AGREE)         (partyToAgreement ?BUYER ?AGREE))     (modalAttribute         (exists (?S ?ITEM)             (and                 (instance ?S Selling)                 (patient ?S ?ITEM)                 (immediateInstance ?ITEM ?ENT)                 (agent ?S ?SELLER)                 (destination ?S ?BUYER)                 (transactionAmount ?S ?PRICE))) Promise))	Catalog.kif 276-289	If the &egotiatedPrice$"price" negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of selling and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent and the currency measure is a transaction amount of the entity has the modal force of promise
(=>     (and         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validFor ?PS ?CUSTCLASS)         (instance ?CUSTOMER ?CUSTCLASS))     (modalAttribute         (=>             (and                 (instance ?B Buying)                 (agent ?B ?CUSTOMER)                 (origin ?B ?AGENT)                 (patient ?B ?ITEM))             (transactionAmount ?B ?PRICE)) Likely))	Catalog.kif 354-370	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
(=>     (and         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validityPeriod ?PS ?TIMEINT))     (holdsDuring ?TIMEINT         (modalAttribute             (=>                 (and                     (instance ?S Selling)                     (agent ?S ?AGENT)                     (patient ?S ?ITEM))                 (transactionAmount ?S ?PRICE)) Likely)))	Catalog.kif 372-387	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid during a time interval, then the statement if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during the time interval
(=>     (and         (productPrice ?ENT             (MeasureFn ?PRICE1 ?U) ?AGENT)         (instance ?U UnitOfCurrency)         (publishedPrice ?ENT             (MeasureFn ?PRICE2 ?U) ?AGENT ?PS)         (validFor ?PS ?CUSTCLASS)         (instance ?ITEM ?ENT)         (instance ?B Buying)         (immediateInstance ?CUST ?CUSTCLASS)         (agent ?B ?CUST)         (origin ?B ?AGENT)         (lessThan ?PRICE2 ?PRICE1))     (modalAttribute         (transactionAmount ?B ?PRICE1) Likely))	Catalog.kif 430-445	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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