| FillingAnOrder | |
| appearance as argument number 1 |
|
|
| (documentation FillingAnOrder EnglishLanguage "Execute an order or buy or sell a security or commodity.") | FinancialOntology.kif 2844-2845 | |
| (subclass FillingAnOrder FinancialTransaction) | FinancialOntology.kif 2843-2843 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FillingAnOrder "填写订单") | domainEnglishFormat.kif 23688-23688 | |
| (termFormat ChineseTraditionalLanguage FillingAnOrder "填寫訂單") | domainEnglishFormat.kif 23687-23687 | |
| (termFormat EnglishLanguage FillingAnOrder "filling an order") | domainEnglishFormat.kif 23686-23686 |
| 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 2895-2911 | |
| (=> (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 2931-2947 | |
| (=> (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 2868-2884 |
|
|
|