(=>
(and
(instance ?Order PlacingAnOrder)
(orderFor ?Order ?TransactionType ?Shares))
(hasPurpose ?Order
(exists (?Transaction)
(and
(instance ?Transaction ?TransactionType)
(patient ?Transaction ?Shares))))) |
FinancialOntology.kif 2019-2027 |
If X is an instance of placing an order and X is order for Y for Z, then X has the purpose there exists W such that W is an instance of Y and Z is a patient of W |
(=>
(and
(instance ?Order MarketOrder)
(attribute ?Broker Broker)
(partyToAgreement ?Order ?Broker)
(orderFor ?Order ?TransactionType ?Shares))
(holdsObligation ?Broker
(exists (?Transaction)
(and
(instance ?Transaction ?TransactionType)
(patient ?Transaction ?Shares))))) |
FinancialOntology.kif 2029-2039 |
If X is an instance of market order, broker is an attribute of Y, Y is a party to agreement of X, and X is order for Z for W, then Y is obliged to perform tasks of type there exists V such that V is an instance of Z and W is a patient 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
(attribute ?Order LimitOrder)
(partyToAgreement ?Order ?Broker)
(attribute ?Broker Broker)
(orderFor ?Order Selling ?Object)
(measure ?Object ?Quantity)
(limitPrice ?Order
(MeasureFn ?LimitPrice ?U))
(bidPrice ?Object
(MeasureFn ?Price ?U) ?Time)
(instance ?U UnitOfCurrency)
(greaterThanOrEqualTo ?Price ?LimitPrice))
(holdsObligation ?Broker
(exists (?Sell)
(and
(instance ?Sell Selling)
(patient ?Sell ?Object)
(measure ?Object ?Quantity)
(equal
(WhenFn ?Sell) ?SellingTime)
(overlapsTemporally ?SellingTime ?Time))))) |
FinancialOntology.kif 2079-2099 |
If All of the following hold: (1) limit order is an attribute of X (2) Y is a party to agreement of X (3) broker is an attribute of Y (4) X is order for selling for Z (5) the measure of Z is W (6) V U(s) is a limit price of X (7) T bids S U(s) for Z (8) U is an instance of unit of currency (9) S is greater than or equal to V, then Y is obliged to perform tasks of type there exists R such that R is an instance of selling, Z is a patient of R, the measure of Z is W, equal the time of existence of R, Q, and T overlaps Q |
orderFor