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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LimitOrder

Sigma KEE - LimitOrder
LimitOrder(limit order)limit_order

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


(documentation LimitOrder EnglishLanguage "LimitOrder is an order to a Broker to buy a specified quantity of a Security at or below a specified price, or to sell it at or above a specified limitPrice.") FinancialOntology.kif 1930-1931
(subclass LimitOrder FinancialOrder) FinancialOntology.kif 1929-1929 Limit order is a subclass of financial order

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


(termFormat EnglishLanguage LimitOrder "limit order") domainEnglishFormat.kif 6162-6162 "limit order" is the printable form of limit order in english language

appearance as argument number 3
-------------------------


(domain limitPrice 1 LimitOrder) FinancialOntology.kif 1935-1935 The number 1 argument of limit price is an instance of limit order

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


(=>
    (and
        (instance ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (askPrice ?Object ?Price ?Time)
        (lessThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 1946-1964
(=>
    (and
        (instance ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (bidPrice ?Object ?Price ?Time)
        (greaterThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Sell) ?SellingTime)
                (overlapsTemporally ?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 1966-1984
(=>
    (instance ?Order LimitOrder)
    (exists (?Price)
        (limitPrice ?Order ?Price)))
FinancialOntology.kif 1941-1944


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