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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - limitPrice
limitPrice

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


(documentation limitPrice EnglishLanguage "(limitPrice ?Order ?Money) means that ?Money is the limit price for the limit order ?Order. If ?Order is a buy order, then ?Money specifies the maximum price to be paid. If ?Order is a sell order, then ?Money specifies the minimum price to be paid.") FinancialOntology.kif 1937-1939
(domain limitPrice 1 LimitOrder) FinancialOntology.kif 1935-1935 The number 1 argument of limit price is an instance of limit order
(domain limitPrice 2 CurrencyMeasure) FinancialOntology.kif 1936-1936 The number 2 argument of limit price is an instance of currency measure
(instance limitPrice AsymmetricRelation) FinancialOntology.kif 1934-1934 limit price is an instance of asymmetric relation
(instance limitPrice BinaryPredicate) FinancialOntology.kif 1933-1933 limit price is an instance of binary predicate

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


(format EnglishLanguage limitPrice "%2 is %n a limit price of %1") domainEnglishFormat.kif 393-393
(termFormat EnglishLanguage limitPrice "limit price") domainEnglishFormat.kif 6163-6163 "limit price" is the printable form of limit price in english language

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

consequent
-------------------------


(=>
    (instance ?Order LimitOrder)
    (exists (?Price)
        (limitPrice ?Order ?Price)))
FinancialOntology.kif 1941-1944


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



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