Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MarketOrder
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MarketOrder FinancialOrder) | FinancialOntology.kif 2009-2009 | Market order is a subclass of financial order |
| (documentation MarketOrder EnglishLanguage "An order to buy or sell security at the best prices available.") | FinancialOntology.kif 2010-2010 | Market order is a subclass of financial order |
| (externalImage MarketOrder "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ NYSE_floor.jpg") | pictureList.kif 8584-8584 | Market order is a subclass of financial order |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Order MarketOrder) (attribute ?Broker Broker) (partyToAgreement ?Order ?Broker) (orderFor ?Order ?TransactionType ?Shares)) (holdsObligation ?Broker (exists (?Transaction) (and (instance ?Transaction ?TransactionType) (patient ?Transaction ?Shares))))) |
FinancialOntology.kif 2029-2039 | If X is an instance of market order, broker is an attribute of Y, Y is a party to agreement of X, and X is order for Z for W, then Y is obliged to perform tasks of type there exists V such that V is an instance of Z and W is a patient of V |
|
