Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LimitOrder(limit order) |
| appearance as argument number 1 |
|
| (subclass LimitOrder FinancialOrder) | FinancialOntology.kif 2041-2041 | Limit order is a subclass of financial order |
| (documentation LimitOrder EnglishLanguage "LimitOrder is an order to a Broker to buy a specified quantity of a Security at or below a specified price, or to sell it at or above a specified limitPrice.") | FinancialOntology.kif 2042-2043 | Limit order is a subclass of financial order |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain limitPrice 1 LimitOrder) | FinancialOntology.kif 2046-2046 | The number 1 argument of limit price is an instance of limit order |
| antecedent |
|
|
| (=> (instance ?Order LimitOrder) (exists (?Price) (limitPrice ?Order ?Price))) |
FinancialOntology.kif 2052-2055 | If X is an instance of limit order, then there exists Y such that Y is a limit price of X |
| (=> (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 |
|