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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CallOption
CallOption
more pictures...

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


(documentation CallOption EnglishLanguage "An option contract that gives the holder the right to buy a certain quantity (usually 100 shares) of an underlying security from the writer of the option, at a specified price (the strike price) up to a specified date (the expiration date).") FinancialOntology.kif 2540-2543
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") pictureList.kif 10588-10588
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg") pictureList.kif 10587-10587
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 9938-9938
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/en/7/7f/ CallOption.png") pictureList.kif 10589-10589
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/en/f/f5/ CallWrite.png") pictureList.kif 10590-10590
(subAttribute CallOption Option) FinancialOntology.kif 2539-2539 subAttribute CallOption and Option

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


(termFormat ChineseLanguage CallOption "看涨期权") domainEnglishFormat.kif 12715-12715
(termFormat ChineseTraditionalLanguage CallOption "看漲期權") domainEnglishFormat.kif 12714-12714
(termFormat EnglishLanguage CallOption "call option") domainEnglishFormat.kif 12713-12713

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


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))		 FinancialOntology.kif 2966-2974 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan FinancialInstrumentPrice and CurrencyMeasure outOfTheMoney Agreement and Agent
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))		 FinancialOntology.kif 2923-2931 FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan CurrencyMeasure and FinancialInstrumentPrice inTheMoney Agreement and Agent
(=>
    (and
        (instance ?Exercise ExerciseAnOption)
        (patient ?Exercise ?Option)
        (property ?Option CallOption)
        (time ?Exercise ?Time)
        (underlier ?Option ?Stocks))
    (exists (?Buy)
        (and
            (instance ?Buy Buying)
            (patient ?Buy ?Stocks)
            (time ?Buy ?Time)
            (measure ?Stocks
                (MeasureFn 100 ShareUnit)))))		 FinancialOntology.kif 2675-2687

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


(=>
    (instance ?Spread ButterflySpread)
    (exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4)
        (and
            (instance ?Call1 CallOption)
            (instance ?Call2 CallOption)
            (instance ?Call3 CallOption)
            (instance ?Call4 CallOption)
            (subProcess ?Call1 ?Spread)
            (subProcess ?Call2 ?Spread)
            (subProcess ?Call3 ?Spread)
            (subProcess ?Call4 ?Spread)
            (strikePrice ?Call1 ?Price1)
            (strikePrice ?Call2 ?Price2)
            (strikePrice ?Call3 ?Price3)
            (strikePrice ?Call4 ?Price4)
            (lessThan ?Price1 ?Price2)
            (lessThan ?Price1 ?Price3)
            (greaterThan ?Price4 ?Price2)
            (greaterThan ?Price4 ?Price2))))		 FinancialOntology.kif 3028-3047
(=>
    (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 3053-3077
(=>
    (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 2462-2473


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