| FillingAnOrder | |
| appearance as argument number 1 |
|
|
| (documentation FillingAnOrder EnglishLanguage "Execute an order or buy or sell a security or commodity.") | FinancialOntology.kif 2847-2848 | |
| (subclass FillingAnOrder FinancialTransaction) | FinancialOntology.kif 2846-2846 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FillingAnOrder "填写订单") | domainEnglishFormat.kif 23677-23677 | |
| (termFormat ChineseTraditionalLanguage FillingAnOrder "填寫訂單") | domainEnglishFormat.kif 23676-23676 | |
| (termFormat EnglishLanguage FillingAnOrder "filling an order") | domainEnglishFormat.kif 23675-23675 |
| 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 2898-2914 | |
| (=> (and (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute ?Time) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel ?End) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period))))) |
FinancialOntology.kif 2934-2950 | |
| (=> (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 2871-2887 |
|
|
|