AONOrder(AON order) |
appearance as argument number 1 |
(documentation AONOrder EnglishLanguage "All-or-none order (AON) is a type of option order which requires that the order be executed completely or not at all. An AON order may be either a day order or a GTC order.") | FinancialOntology.kif 2900-2902 | |
(subAttribute AONOrder FinancialOrder) | FinancialOntology.kif 2899-2899 | AON order is a subattribute of financial order |
appearance as argument number 2 |
(termFormat ChineseLanguage AONOrder "AON 订单") | domainEnglishFormat.kif 7946-7946 | |
(termFormat ChineseTraditionalLanguage AONOrder "AON 訂單") | domainEnglishFormat.kif 7945-7945 | |
(termFormat EnglishLanguage AONOrder "AON order") | domainEnglishFormat.kif 7944-7944 |
antecedent |
(=> (attribute ?Order AONOrder) (or (instance ?Order DayOrder) (instance ?Order GTCOrder))) |
FinancialOntology.kif 2904-2908 |
|