Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Discovering
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FOKOrder FinancialOrder) | FinancialOntology.kif 2891-2891 | FOK order is a subclass of financial order |
| (documentation FOKOrder EnglishLanguage "Fill_or_kill order is a type of option order which requires that the order be executed completely or not at all. A fill_or_kill order is similar to an all_or_none (AON) order. The difference is that if the order cannot be completely executed (i.e., filled in its entirety) as soon as it is announced in the trading crowd, it is to be 'killed' (i.e., cancelled) immediately. Unlike an AON order, a FOK order cannot be used as part of a GTC order.") | FinancialOntology.kif 2892-2898 | FOK order is a subclass of financial order |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Order FOKOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period))))) |
FinancialOntology.kif 2900-2916 | If X is an instance of FOK order and Y is an agreement period of X, then there exist Z, W such that Z is an instance of filling an order, X is a patient of Z, equal the time of existence of Z, W, and W starts Y or there exist V, U such that V is an instance of cancelling an order, X is a patient of V, equal the time of existence of V, U, and U starts Y |
|