| FillingAnOrder | |
| appearance as argument number 1 |
|
|
| (documentation FillingAnOrder EnglishLanguage "Execute an order or buy or sell a security or commodity.") | FinancialOntology.kif 2830-2831 | |
| (subclass FillingAnOrder FinancialTransaction) | FinancialOntology.kif 2829-2829 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FillingAnOrder "填写订单") | domainEnglishFormat.kif 23689-23689 | |
| (termFormat ChineseTraditionalLanguage FillingAnOrder "填寫訂單") | domainEnglishFormat.kif 23688-23688 | |
| (termFormat EnglishLanguage FillingAnOrder "filling an order") | domainEnglishFormat.kif 23687-23687 |
| 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 2881-2897 | |
| (=> (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 2917-2933 | |
| (=> (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 2854-2870 |
|
|
|