(=>
(and
(equal ?P
(EquilibriumPriceFn ?THING ?M))
(askPrice ?THING ?P ?AGENT))
(and
(instance ?M MarketEconomics)
(member ?THING ?M)
(attribute ?M EquilibriumEconomics))) |
Economy.kif 6891-6898 |
If equal X and the market-clearing price of Y on the Z and W asks for X for Y, then Z is an instance of market, Y is a member of Z, and equilibrium is an attribute of Z |
(=>
(askPrice ?Obj ?Money ?Agent)
(exists (?Offering)
(and
(instance ?Offering Offering)
(containsFormula ?Offering
(exists (?Selling)
(and
(instance ?Selling Selling)
(agent ?Selling ?Agent)
(patient ?Selling ?Obj)
(transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1980-1991 |
If X asks for Y for Z, then there exists W such that W is an instance of offering, W contains the formula there exists V such that V is an instance of selling, X is an agent of V, Z is a patient of V, and Y is a transaction amount of V |
(=>
(and
(instance ?Order LimitOrder)
(partyToAgreement ?Order ?Broker)
(attribute ?Broker Broker)
(orderFor ?Order Buying ?Object)
(measure ?Object ?Quantity)
(limitPrice ?Order
(MeasureFn ?LimitPrice ?U))
(instance ?U UnitOfCurrency)
(askPrice ?Object
(MeasureFn ?Price ?U) ?Time)
(lessThanOrEqualTo ?Price ?LimitPrice))
(holdsObligation ?Broker
(exists (?Buy)
(and
(instance ?Buy Buying)
(patient ?Buy ?Object)
(measure ?Object ?Quantity)
(equal
(WhenFn ?Buy) ?BuyingTime)
(overlapsTemporally ?Time ?BuyingTime))))) |
FinancialOntology.kif 2057-2077 |
If All of the following hold: (1) X is an instance of limit order (2) Y is a party to agreement of X (3) broker is an attribute of Y (4) X is order for buying for Z (5) the measure of Z is W (6) V U(s) is a limit price of X (7) U is an instance of unit of currency (8) T asks for S U(s) for Z (9) S is less than or equal to V, then Y is obliged to perform tasks of type there exists R such that R is an instance of buying, Z is a patient of R, the measure of Z is W, equal the time of existence of R, Q, and Q overlaps T |
(=>
(and
(instance ?Stock PennyStock)
(askPrice ?Stock
(MeasureFn ?Price UnitedStatesDollar) ?Date))
(lessThan ?Price 5)) |
FinancialOntology.kif 2249-2253 |
If X is an instance of penny stock and Y asks for Z united states dollar(s) for X, then Z is less than 5 |
