Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarketOrder

Sigma KEE - MarketOrder
MarketOrder(market order)
market_order

appearance as argument number 1
-------------------------


(documentation MarketOrder EnglishLanguage "An order to buy or sell security at the best prices available.") FinancialOntology.kif 1899-1899
(externalImage MarketOrder "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ NYSE-floor.jpg") pictureList.kif 8588-8588 "http://upload.wikimedia.org/wikipedia/commons/0/01/ NYSE-floor.jpg" is a URL depicting market order
(subclass MarketOrder FinancialOrder) FinancialOntology.kif 1898-1898 Market order is a subclass of financial order

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MarketOrder "market order") domainEnglishFormat.kif 6464-6464 "market order" is the printable form of market order in english language

antecedent
-------------------------


(=>
    (and
        (instance ?Order MarketOrder)
        (attribute ?Broker Broker)
        (partyToAgreement ?Order ?Broker)
        (orderFor ?Order ?TransactionType ?Shares))
    (holdsObligation
        (KappaFn ?Transaction
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares))) ?Broker))
FinancialOntology.kif 1918-1927


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners