| CancellingAnOrder
|
| appearance as argument number 1 |
|
| (externalImage CancellingAnOrder "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Ordering_wine.jpg") | pictureList.kif 9920-9920 | |
| (subclass CancellingAnOrder FinancialTransaction) | FinancialOntology.kif 2850-2850 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CancellingAnOrder "取消订单") | domainEnglishFormat.kif 12934-12934 | |
| (termFormat ChineseTraditionalLanguage CancellingAnOrder "取消訂單") | domainEnglishFormat.kif 12933-12933 | |
| (termFormat EnglishLanguage CancellingAnOrder "cancelling an order") | domainEnglishFormat.kif 12932-12932 |
| antecedent |
|
|
| (=> (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order)) (holdsDuring (ImmediateFutureFn (WhenFn ?Kill)) (not (attribute ?Order ActiveAgreement)))) |
FinancialOntology.kif 2852-2859 |
| 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 |
|
|
|