transactionAmount |
(=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE (measure ?TIME ?U))) (instance ?U UnitOfDuration) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (exists (?DURATION) (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X (MeasureFn ?DURATION ?U)) (lessThanOrEqualTo ?DURATION ?TIME))) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE)))))) |
Catalog.kif 467-492 |
|
(=> (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 Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30956-30971 |
|
(=> (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 Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30923-30938 |
|
(=> (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 30973-30987 |
|
(=> (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 30940-30954 |
|
(=> (askPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Selling) (and (instance ?Selling Selling) (agent ?Selling ?Agent) (patient ?Selling ?Obj) (transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1933-1943 | |
(=> (bidPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money))))))) |
FinancialOntology.kif 1912-1922 | |
(=> (instance ?BEST_OFFER BestOffering) (and (containsInformation ?BEST_OFFER (exists (?BUYING ?AGENT ?OBJECT ?MONEY1 ?U) (and (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (patient ?BUYING ?OBJECT) (transactionAmount ?BUYING (MeasureFn ?MONEY1 ?U))))) (not (exists (?OFFER2) (containsInformation ?OFFER2 (exists (?BUYING2 ?AGENT2 ?MONEY2) (and (instance ?BUYING2 Buying) (agent ?BUYING2 ?AGENT2) (patient ?BUYING2 ?OBJECT) (transactionAmount ?BUYING2 (MeasureFn ?MONEY2 ?U)) (greaterThan ?MONEY2 ?MONEY1)))))))) |
UXExperimentalTerms.kif 1654-1675 |
|
(=> (instance ?REPAYMENT Repayment) (exists (?PAYMENT ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT) (and (instance ?PAYMENT ?PAYMENT) (not (equal ?PAYMENT ?REPAYMENT)) (transactionAmount ?PAYMENT ?PAYMENT_AMOUNT) (transactionAmount ?REPAYMENT ?REPAYMENT_AMOUNT) (equal ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT)))) |
UXExperimentalTerms.kif 1872-1881 | |
(=> (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 933-942 | |
(=> (instance ?Stock PreferredStock) (exists (?Dividend ?Amount) (and (instance ?Dividend Dividend) (transactionAmount ?Dividend ?Amount)))) |
FinancialOntology.kif 2172-2177 | |
(=> (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 742-750 |
|
(=> (price ?Obj ?Money ?Agent) (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money)))) |
Mid-level-ontology.kif 7742-7749 | |
(=> (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 |