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