| FillingAnOrder | |
| appearance as argument number 1 |
|
|
| (documentation FillingAnOrder EnglishLanguage "Execute an order or buy or sell a security or commodity.") | FinancialOntology.kif 2751-2752 | |
| (subclass FillingAnOrder FinancialTransaction) | FinancialOntology.kif 2750-2750 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FillingAnOrder "填写订单") | domainEnglishFormat.kif 23599-23599 | |
| (termFormat ChineseTraditionalLanguage FillingAnOrder "填寫訂單") | domainEnglishFormat.kif 23598-23598 | |
| (termFormat EnglishLanguage FillingAnOrder "filling an order") | domainEnglishFormat.kif 23597-23597 |
| consequent |
|
|
| (=> (and (attribute ?Order FOKOrder) (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 2802-2818 | |
| (=> (and (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period))))) |
FinancialOntology.kif 2838-2854 | |
| (=> (and (attribute ?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 2775-2791 |
|
|
|