Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OCOOrder(OCO order) |
| appearance as argument number 1 |
|
| (subclass OCOOrder FinancialOrder) | FinancialOntology.kif 2988-2988 | OCO order is a subclass of financial order |
| (documentation OCOOrder EnglishLanguage "One_cancels_other order (OCO) is a type of option order which treats two or more option orders as a package, whereby the execution of any one of the orders causes all the orders to be reduced by the same amount. For example, the investor would enter an OCO order if he/ she wished to buy 10 May 60 calls or 10 June 60 calls or any combination of the two which when summed equaled 10 contracts. An OCO order may be either a day order or a GTC order") | FinancialOntology.kif 2989-2994 | OCO order is a subclass of financial order |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Order OCOOrder) (or (instance ?Order DayOrder) (instance ?Order GTCOrder))) |
FinancialOntology.kif 2996-3000 | If X is an instance of OCO order, then X is an instance of day order or X is an instance of GTC order |
|