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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExerciseAnOption
ExerciseAnOption

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


(documentation ExerciseAnOption EnglishLanguage "An activity when the owner of the the Option contract invokes his rights. In the case of a call, the option owner buys the underlying stock. In the case of a put, the option owner sells the underlying stock.") FinancialOntology.kif 2670-2672
(externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg") pictureList.kif 11014-11014
(externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 10030-10030
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2669-2669

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


(termFormat ChineseLanguage ExerciseAnOption "执行一个选项") domainEnglishFormat.kif 22681-22681
(termFormat ChineseTraditionalLanguage ExerciseAnOption "執行一個選項") domainEnglishFormat.kif 22680-22680
(termFormat EnglishLanguage ExerciseAnOption "exercise an option") domainEnglishFormat.kif 22679-22679

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


(=>
    (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 2674-2686
(=>
    (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
-------------------------


(=>
    (and
        (property ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day)))) ?Agent))
FinancialOntology.kif 2708-2720
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time)
        (and
            (instance ?Period TimeInterval)
            (finishes ?Period ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))
FinancialOntology.kif 2728-2740


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