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 and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg"
(externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 10030-10030 externalImage ExerciseAnOption and "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg"
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2669-2669 subclass ExerciseAnOption and FinancialTransaction

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


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

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