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 1999-2001
(domain limitPrice 1 LimitOrder) FinancialOntology.kif 1997-1997 limitPrice の数値 1 引数は LimitOrderinstance では %n
(domain limitPrice 2 CurrencyMeasure) FinancialOntology.kif 1998-1998 limitPrice の数値 2 引数は 通貨測定instance では %n
(instance limitPrice BinaryPredicate) FinancialOntology.kif 1996-1996 limitPrice2進述語instance では %n

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


(format ChineseLanguage limitPrice "%2 %n 是 %1 的 limit 价格") domainEnglishFormat.kif 1539-1539
(format ChineseTraditionalLanguage limitPrice "%2 %n 是 %1 的 limit 價格") domainEnglishFormat.kif 1538-1538
(format EnglishLanguage limitPrice "%2 is %n a limit price of %1") domainEnglishFormat.kif 1537-1537
(termFormat ChineseLanguage limitPrice "限价") domainEnglishFormat.kif 34469-34469
(termFormat ChineseTraditionalLanguage limitPrice "限價") domainEnglishFormat.kif 34468-34468
(termFormat EnglishLanguage limitPrice "limit price") domainEnglishFormat.kif 34467-34467

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


(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?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 2008-2029
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (bidPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (instance ?U UnitOfCurrency)
        (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 2031-2052

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


(=>
    (attribute ?Order LimitOrder)
    (exists (?Price)
        (limitPrice ?Order ?Price)))
FinancialOntology.kif 2003-2006


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 3.0 is open source software produced by Articulate Software and its partners