Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FillingAnOrder(filling an order) |  | Wall_Street, market, securities_industry, the_City, the_Street |
| appearance as argument number 1 |
|
|
| (subclass FillingAnOrder FinancialTransaction) | FinancialOntology.kif 2848-2848 | Filling an order is a subclass of financial transaction |
| (documentation FillingAnOrder EnglishLanguage "Execute an order or buy or sell a security or commodity.") | FinancialOntology.kif 2849-2850 | Filling an order is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| 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 |
|