ExerciseAnOption - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ExerciseAnOption

ExerciseAnOption(exercise an option)

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 2763-2765
(externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg")	pictureList.kif 11003-11003
(externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg")	pictureList.kif 10020-10020
(subclass ExerciseAnOption FinancialTransaction)	FinancialOntology.kif 2762-2762	Exercise an option is a subclass of financial transaction

appearance as argument number 2

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

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 2767-2779	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
(=> (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 2781-2793	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)

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 2801-2813	If an agreement the attribute american style option and a cognitive agent holds the agreement and the agreement has expiration a time point, then the cognitive agent has the right to perform there exists an entity such that the entity is an instance of exercise an option and the agreement is a patient of the entity and the end of the time of existence of the entity happens before the end of the time point
(=> (and (property ?Option EuropeanStyleOption) (agreementExpirationDate ?Option ?Date)) (exists (?Period ?Time ?Exercise) (and (instance ?Period TimeInterval) (finishes ?Period ?Date) (=> (and (instance ?Exercise ExerciseAnOption) (equal (WhenFn ?Exercise) ?Time)) (temporalPart ?Time ?Period)))))	FinancialOntology.kif 2821-2833	If an agreement the attribute european style option and the agreement has expiration a time interval, then there exist another time interval, a third time interval and a physical such that the other time interval is an instance of time interval and the other time interval finishes the time interval and if the physical is an instance of exercise an option and the time of existence of the physical is equal to the third time interval, then the third time interval is a part of the other time interval

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