AONOrder |
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage AONOrder "AON 订单") | domainEnglishFormat.kif 7941-7941 | |
(termFormat ChineseTraditionalLanguage AONOrder "AON 訂單") | domainEnglishFormat.kif 7940-7940 | |
(termFormat EnglishLanguage AONOrder "AON order") | domainEnglishFormat.kif 7939-7939 |
antecedent |
(=> (attribute ?Order AONOrder) (or (instance ?Order DayOrder) (instance ?Order GTCOrder))) |
FinancialOntology.kif 2904-2908 |