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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Option

Sigma KEE - Option
Option
more pictures...

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


(documentation Option EnglishLanguage "An option is a contract to buy or sell 100 shares of a stock at a fixed price (the strike price) on or before a fixed date.") FinancialOntology.kif 2499-2500
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/2/25/ NYSESecurity.JPG") pictureList.kif 10182-10182
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg") pictureList.kif 11584-11584
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg") pictureList.kif 11583-11583
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/5/57/ShortStraddle.jpg") pictureList.kif 11577-11577
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/6/67/Covered_Call.jpg") pictureList.kif 11578-11578
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/7/7f/CallOption.png") pictureList.kif 11579-11579
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/d/d4/LongButterfly.jpg") pictureList.kif 11580-11580
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/f/f5/CallWrite.png") pictureList.kif 11581-11581
(subAttribute Option FinancialContract) FinancialOntology.kif 2498-2498

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


(subAttribute AmericanStyleOption Option) FinancialOntology.kif 2745-2745
(subAttribute CallOption Option) FinancialOntology.kif 2579-2579
(subAttribute ConventionalOption Option) FinancialOntology.kif 2517-2517
(subAttribute EquityOption Option) FinancialOntology.kif 2785-2785
(subAttribute EuropeanStyleOption Option) FinancialOntology.kif 2765-2765
(subAttribute IndexOption Option) FinancialOntology.kif 2952-2952
(subAttribute LEAPS Option) FinancialOntology.kif 2530-2530
(subAttribute PutOption Option) FinancialOntology.kif 2625-2625
(subAttribute StockOption Option) FinancialOntology.kif 2669-2669
(termFormat ChineseLanguage Option "้€‰้กน") domainEnglishFormat.kif 42331-42331
(termFormat ChineseTraditionalLanguage Option "้ธ้ …") domainEnglishFormat.kif 42330-42330
(termFormat EnglishLanguage Option "option") domainEnglishFormat.kif 42329-42329

appearance as argument number 3
-------------------------


(domain atTheMoney 1 Option) FinancialOntology.kif 2990-2990
(domain inTheMoney 1 Option) FinancialOntology.kif 2957-2957
(domain outOfTheMoney 1 Option) FinancialOntology.kif 3006-3006

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


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option Option)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (equal ?StockPrice ?StrikePrice)))
    (atTheMoney ?Option ?Time))
FinancialOntology.kif 2995-3003
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2631-2647
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2585-2601
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2649-2665
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2603-2621
(=>
    (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 2502-2513

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


(=>
    (instance ?Spread SpreadOption)
    (exists (?Option1 ?Option2 ?Buy ?Sell ?Time)
        (and
            (instance ?Option1 Option)
            (instance ?Option2 Option)
            (instance ?Buy Buying)
            (instance ?Sell Selling)
            (subProcess ?Buy ?Spread)
            (subProcess ?Sell ?Spread)
            (patient ?Buy ?Option1)
            (patient ?Sell ?Option2)
            (time ?Buy ?Time)
            (time ?Sell ?Time))))
FinancialOntology.kif 3058-3071
(=>
    (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 3110-3134
(=>
    (optionHolder ?OPTION ?AGENT)
    (property ?OPTION Option))
FinancialOntology.kif 2553-2555
(=>
    (optionSeller ?OPTION ?AGENT)
    (property ?OPTION Option))
FinancialOntology.kif 2566-2568
(=>
    (premium ?OPTION ?AMT)
    (property ?OPTION Option))
FinancialOntology.kif 2687-2689
(=>
    (underlier ?OPTION ?FI)
    (property ?OPTION Option))
FinancialOntology.kif 2706-2708


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

Show without tree


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