CancellingAnOrder(cancelling an order)![]() |
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 | Cancelling an order is a subclass of financial transaction |
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 |
![]() |
![]() |
![]() |