Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  TimePeriod
|
|
|
| appearance as argument number 1 |
|
|
| (subclass IOCOrder FinancialOrder) | FinancialOntology.kif 2863-2863 | IOC order is a subclass of financial order |
| (documentation IOCOrder EnglishLanguage "Immediate or cancel Order is a type of option order which gives the trading crowd one opportunity to take the other side of the trade. After being announced, the order will be either partially or totally filled with any remaining balance immediately cancelled. An IOC order, which can be considered a type of day order, cannot be used as part of a GTC order since it will be cancelled shortly after being entered. The difference between fill_or_kill (FOK) orders and IOC orders is that a IOC order may be partially executed.") | FinancialOntology.kif 2864-2871 | IOC order is a subclass of financial order |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Order IOCOrder) (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 2873-2889 | If X is an instance of IOC 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 |
|