Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
PlacingAnOrder(placing an order)
|
| appearance as argument number 1 |
|
| (subclass PlacingAnOrder FinancialTransaction) | FinancialOntology.kif 1998-1998 | Placing an order is a subclass of financial transaction |
| (externalImage PlacingAnOrder "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Ordering_wine.jpg") | pictureList.kif 10188-10188 | Placing an order is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Place PlacingAnOrder) (equal (WhenFn ?Place) ?Time)) (exists (?Order ?Period) (and (equal (WhenFn ?Order) ?Period) (meetsTemporally ?Time ?Period)))) |
FinancialOntology.kif 2000-2007 | If X is an instance of placing an order and equal the time of existence of X and Y, then there exist Z, W such that equal the time of existence of Z, W, and Y meets W |
| (=> (and (instance ?Order PlacingAnOrder) (orderFor ?Order ?TransactionType ?Shares)) (hasPurpose ?Order (exists (?Transaction) (and (instance ?Transaction ?TransactionType) (patient ?Transaction ?Shares))))) |
FinancialOntology.kif 2019-2027 | If X is an instance of placing an order and X is order for Y for Z, then X has the purpose there exists W such that W is an instance of Y and Z is a patient of W |
|