(=>
(price ?Obj ?Money ?Agent)
(exists (?Buying)
(and
(instance ?Buying Buying)
(agent ?Buying ?Agent)
(patient ?Buying ?Obj)
(transactionAmount ?Buying ?Money)))) |
Mid-level-ontology.kif 9063-9070 |
If X is price Y for Z, then there exists W such that W is an instance of buying, Z is an agent of W, X is a patient of W, and Y is a transaction amount of W |
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N Integer))
(not
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G CollectionOfObjects)
(memberType ?G ?O)
(memberCount ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 33531-33546 |
If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T |
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N PhysicalQuantity))
(not
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G ?O)
(measure ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 33548-33562 |
If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T |
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N Integer))
(desires ?A
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G CollectionOfObjects)
(memberType ?G ?O)
(memberCount ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 33564-33579 |
If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T |
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N PhysicalQuantity))
(desires ?A
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G ?O)
(measure ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 33581-33595 |
If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T |
(=>
(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 price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) the statement there exist U (2) T such that U is an instance of selling (3) T is a patient of U (4) T is an immediate instance of X (5) W is an agent of U (6) U ends up at V (7) Z is a transaction amount of U has the modal force of promise |
(=>
(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 price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) W has the responsibility to make there exist U (2) T such that U is an instance of buying (3) T is a patient of U (4) T is an immediate instance of X (5) V is an agent of U (6) U originates at W (7) Z is a transaction amount of U obligation in Y |
(=>
(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 X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, Z is valid for T, and S is an instance of T, then the statement R is an instance of buying, S is an agent of R, R originates at Y, and U is a patient of RW is a transaction amount of R 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 X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T |
(=>
(productPrice ?ENT ?PRICE ?AGENT)
(modalAttribute
(=>
(and
(instance ?S Selling)
(immediateInstance ?I ?ENT)
(patient ?S ?I)
(agent ?S ?AGENT))
(transactionAmount ?S ?PRICE)) Likely)) |
Catalog.kif 419-428 |
If X sells Y for Z, then the statement W is an instance of selling, V is an immediate instance of Y, V is a patient of W, and X is an agent of WZ is a transaction amount of W has the modal force of likely |
(=>
(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 All of the following hold: (1) X sells Y for Z W(s) (2) W is an instance of unit of currency (3) the price of Y from X according to V is U W(s) (4) V is valid for T (5) S is an instance of Y (6) R is an instance of buying (7) Q is an immediate instance of T (8) Q is an agent of R (9) R originates at X (10) U is less than Z, then the statement Z is a transaction amount of R has the modal force of likely |
(=>
(equal ?NUMDEMANDED
(DemandFn ?ME))
(exists (?DESIREDITEMS ?ITEMCLASS ?CLASS)
(and
(instance ?DESIREDITEMS CollectionOfObjects)
(memberCount ?DESIREDITEMS ?NUMDEMANDED)
(memberType ?ME ?ITEMCLASS)
(=>
(and
(instance ?H Human)
(instance ?ITEM ?ITEMCLASS)
(=>
(and
(instance ?B1 ?CLASS)
(subclass ?CLASS Buying)
(patient ?B1 ?ITEM))
(capability ?CLASS agent ?H))
(desires ?H
(exists (?B2)
(and
(instance ?B2 ?CLASS)
(transactionAmount ?B2 ?CM)
(patient ?B2 ?ITEM)
(member ?ITEM ?ME)
(agent ?B2 ?H)))))
(member ?ITEM ?DESIREDITEMS))))) |
Economy.kif 6803-6828 |
If equal X and demand Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of collection (3) X is a member count of Z (4) W is a member type of Y (5) U is an instance of human (6) T is an instance of W (7) S is an instance of V (8) V is a subclass of buying (9) T is a patient of SU is capable of doing V as a agent (10) U desires there exists R such that R is an instance of V (11) Q is a transaction amount of R (12) T is a patient of R (13) T is a member of Y (14) U is an agent of RT is a member of Z |
(=>
(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 X is Y, Z is a check account of X, W is an instance of processing a check, X is a patient of W, and equal the time of existence of W and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of withdrawing from an account (3) X is an instrument for U (4) equal the time of existence of U (5) T (6) V meets T (7) Y is a transaction amount of U (8) U originates at Z |
(=>
(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 All of the following hold: (1) value of X is Y (2) Z is an instance of processing a check (3) X is a patient of Z (4) Z ends up at the currency of W (5) W is an instance of financial account (6) equal the time of existence of Z and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of deposit (3) X is an instrument for U (4) equal the time of existence of U (5) T (6) V meets T (7) Y is a transaction amount of U (8) U ends up at the currency of W |
(=>
(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 X is an instance of depositing a check, Y is a patient of X, Y is an instance of check, Z is a check account of Y, and value of Y is W, then there exists V such that V is an instance of deposit, V ends up at the currency of Z, and W is a transaction amount of V |
(=>
(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 508-520 |
If X is an agent of Y, Y originates at Z, W is a patient of Y, and value of W is V, then there exists U such that U is a subprocess of Y, U is an instance of payment, V is a transaction amount of U, U originates at X, and U ends up at Z |
(=>
(and
(amountDue ?Account ?Amount ?DueDate)
(accountHolder ?Account ?Agent))
(holdsObligation ?Agent
(exists (?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)))))) |
FinancialOntology.kif 676-689 |
If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z |
(=>
(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 708-721 |
If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V |
(=>
(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 764-772 |
If X is periodic payment Y for Z, then there exist W, V such that W is an instance of payment, W originates at the currency of X, Y is a transaction amount of W, W is an instance of V, and V occurs every Z |
(=>
(and
(downPayment ?Loan ?Amount)
(agreementEffectiveDate ?Loan ?Date))
(exists (?Payment)
(and
(transactionAmount ?Payment ?Amount)
(date ?Payment ?Date)
(destination ?Payment
(CurrencyFn ?Loan))))) |
FinancialOntology.kif 829-838 |
If X is a down payment of Y and Z is an agreement effective date of Y, then there exists W such that X is a transaction amount of W, date of W is Z, and W ends up at the currency of Y |
(=>
(instance ?RETURN TaxReturn)
(hasPurpose ?RETURN
(exists (?CALCULATE ?AMOUNT ?TAX)
(and
(instance ?CALCULATE Calculating)
(instrument ?CALCULATE ?RETURN)
(result ?CALCULATE ?AMOUNT)
(transactionAmount ?TAX ?AMOUNT)
(instance ?TAX Tax))))) |
FinancialOntology.kif 955-964 |
If X is an instance of tax return, then X has the purpose there exist Y, Z, W such that Y is an instance of calculating, X is an instrument for Y, Z is a result of Y, Z is a transaction amount of W, and W is an instance of tax |
(=>
(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 1068-1077 |
If X is an instance of savings account, Y holds account X, and X is interest earned Z for W, then there exists V such that V ends up at the currency of X, Z is a transaction amount of V, and V ends up at Y |
(=>
(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 1229-1244 |
If All of the following hold: (1) X is an instance of profit sharing plan (2) Y holds account X (3) Z employs Y (4) the profit from W is V U(s) (5) U is an instance of unit of currency (6) Z is an agent of W, then there exist T and S such that S is an instance of financial transaction and T U(s) is a transaction amount of S and T is less than V and S ends up at X |
(=>
(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 1249-1259 |
If X is an instance of credit account, X is held by Y, Z holds account X, and X is interest earned W for V, then there exists U such that U originates at Z, W is a transaction amount of U, and U ends up at Y |
(=>
(and
(instance ?Account CreditAccount)
(accountHolder ?Account ?Agent)
(principalAmount ?Account ?Principal)
(agreementPeriod ?Account ?Period)
(interestEarned ?Account ?Interest ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(holdsObligation ?Agent
(exists (?Payment)
(transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 1261-1271 |
If All of the following hold: (1) X is an instance of credit account (2) Y holds account X (3) Z is a principal amount of X (4) W is an agreement period of X (5) X is interest earned V for W (6) equal U and (Z and V), then Y is obliged to perform tasks of type there exists T such that U is a transaction amount of T |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
transactionAmount