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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PutOption
PutOption

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


(documentation PutOption EnglishLanguage "An option contract that gives the holder the right to sell a certain quantity of an underlying security to the writer of the option, at a specified price (strike price) up to a specified date (expiration date).") FinancialOntology.kif 2585-2588
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") pictureList.kif 11715-11715 externalImage PutOption and "http://upload.wikimedia.org/wikipedia/commons/1/18/ NASDAQ_studio.jpg"
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 11714-11714 externalImage PutOption and "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg"
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/6/6b/ PutWrite.png") pictureList.kif 10232-10232 externalImage PutOption and "http://upload.wikimedia.org/wikipedia/en/6/6b/PutWrite.png"
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/d/d1/ PutOption.png") pictureList.kif 11713-11713 externalImage PutOption and "http://upload.wikimedia.org/wikipedia/en/d/d1/PutOption.png"
(subAttribute PutOption Option) FinancialOntology.kif 2584-2584 subAttribute PutOption and Option

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


(termFormat ChineseLanguage PutOption "放选项") domainEnglishFormat.kif 48145-48145 termFormat ChineseLanguage, PutOption and "放选项"
(termFormat ChineseTraditionalLanguage PutOption "放選項") domainEnglishFormat.kif 48144-48144 termFormat ChineseTraditionalLanguage, PutOption and "放選項"
(termFormat EnglishLanguage PutOption "put option") domainEnglishFormat.kif 48143-48143 termFormat EnglishLanguage, PutOption and "put option"

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


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 2932-2940 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan FinancialInstrumentPrice and CurrencyMeasure inTheMoney Agreement and Agent
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 2975-2983 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan CurrencyMeasure and FinancialInstrumentPrice outOfTheMoney Agreement and Agent
(=>
    (and
        (instance ?Exercise ExerciseAnOption)
        (patient ?Exercise ?Option)
        (property ?Option PutOption)
        (time ?Exercise ?Time)
        (underlier ?Option ?Stocks))
    (exists (?Sell)
        (and
            (instance ?Sell Selling)
            (patient ?Sell ?Stocks)
            (time ?Sell ?Time)
            (measure ?Stocks
                (MeasureFn 100 ShareUnit)))))
FinancialOntology.kif 2688-2700

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


(=>
    (instance ?Straddle Straddle)
    (exists (?Price ?Date ?Number)
        (and
            (equal
                (CardinalityFn
                    (KappaFn ?Call
                        (and
                            (instance ?Call CallOption)
                            (part ?Call ?Straddle)))) ?Number)
            (equal
                (CardinalityFn
                    (KappaFn ?Put
                        (and
                            (instance ?Put PutOption)
                            (part ?Put ?Straddle)))) ?Number)
            (forall (?Option)
                (=>
                    (and
                        (instance ?Option Option)
                        (part ?Option ?Straddle))
                    (and
                        (agreementExpirationDate ?Option ?Date)
                        (strikePrice ?Option ?Price)))))))
FinancialOntology.kif 3052-3076
(=>
    (property ?Option Option)
    (exists (?Type ?Date ?Stock ?Price)
        (and
            (or
                (equal ?Type CallOption)
                (equal ?Type PutOption))
            (property ?Option ?Type)
            (agreementExpirationDate ?Option ?Date)
            (strikePrice ?Option ?Price)
            (underlier ?Option ?Stock)
            (measure ?Stock
                (MeasureFn 100 ShareUnit)))))
FinancialOntology.kif 2461-2472


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