|
|
  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 2917-2919 | |
| (subAttribute AONOrder FinancialOrder) | FinancialOntology.kif 2916-2916 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AONOrder "AON 订单") | domainEnglishFormat.kif 7939-7939 | |
| (termFormat ChineseTraditionalLanguage AONOrder "AON 訂單") | domainEnglishFormat.kif 7938-7938 | |
| (termFormat EnglishLanguage AONOrder "AON order") | domainEnglishFormat.kif 7937-7937 |
| antecedent |
|
|
| (=> (attribute ?Order AONOrder) (or (instance ?Order DayOrder) (instance ?Order GTCOrder))) |
FinancialOntology.kif 2921-2925 |
|
|
|