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 | Cancelling an order is a subclass of financial transaction |
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 |