Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CancellingAnOrder(cancelling an order)
|
| appearance as argument number 1 |
|
| (subclass CancellingAnOrder FinancialTransaction) | FinancialOntology.kif 2852-2852 | Cancelling an order is a subclass of financial transaction |
| (externalImage CancellingAnOrder "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Ordering_wine.jpg") | pictureList.kif 9920-9920 | Cancelling an order is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order)) (holdsDuring (ImmediateFutureFn (WhenFn ?Kill)) (not (attribute ?Order ActiveAgreement)))) |
FinancialOntology.kif 2854-2861 | If X is an instance of cancelling an order and Y is a patient of X, then active agreement is not an attribute of Y holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (and (instance ?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 2873-2889 | If X is an instance of IOC order and Y is an agreement period of X, then there exist Z, W such that Z is an instance of filling an order, X is a patient of Z, equal the time of existence of Z, W, and W starts Y or there exist V, U such that V is an instance of cancelling an order, X is a patient of V, equal the time of existence of V, U, and U starts Y |
| (=> (and (instance ?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 2900-2916 | If X is an instance of FOK order and Y is an agreement period of X, then there exist Z, W such that Z is an instance of filling an order, X is a patient of Z, equal the time of existence of Z, W, and W starts Y or there exist V, U such that V is an instance of cancelling an order, X is a patient of V, equal the time of existence of V, U, and U starts Y |
| (=> (and (instance ?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 2936-2952 | If X is an instance of GTC order and Y is an agreement period of X, then there exist Z, W such that Z is an instance of filling an order, X is a patient of Z, equal the time of existence of Z, W, and Y overlaps W or there exist V, U such that V is an instance of cancelling an order, X is a patient of V, equal the time of existence of V, U, and U finishes Y |
|