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 2664-2667
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") pictureList.kif 11688-11688
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 11687-11687
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/6/6b/ PutWrite.png") pictureList.kif 10211-10211
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/d/d1/ PutOption.png") pictureList.kif 11686-11686
(subAttribute PutOption Option) FinancialOntology.kif 2663-2663 PutOptionOptionsubattribute では %n

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


(termFormat ChineseLanguage PutOption "放选项") domainEnglishFormat.kif 48206-48206
(termFormat ChineseTraditionalLanguage PutOption "放選項") domainEnglishFormat.kif 48205-48205
(termFormat EnglishLanguage PutOption "put option") domainEnglishFormat.kif 48204-48204

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


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 3015-3026 FinancialInstrument FinancialInstrumentPrice and 実数 AgreementPutOptioninstance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位UnitOfCurrencyinstance では %n strikePrice Agreement and 実数 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n inTheMoney Agreement and AutonomousAgent
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 3064-3075 FinancialInstrument FinancialInstrumentPrice and 実数 AgreementPutOptioninstance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位UnitOfCurrencyinstance では %n strikePrice Agreement and 実数 測定単位(s) 実数 FinancialInstrumentPrice より less では %n outOfTheMoney Agreement and AutonomousAgent
(=>
    (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 2768-2780

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


(=>
    (instance ?Straddle Straddle)
    (exists (?Call ?Price ?Date ?Number ?Put)
        (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 3149-3173
(=>
    (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 2540-2551


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