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

appearance as argument number 2

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

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 2754-2766	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 2768-2780	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 2788-2800	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) (equal (EndFn ?Period) ?Date) (=> (and (instance ?Exercise ExerciseAnOption) (equal (WhenFn ?Exercise) ?Time)) (temporalPart ?Time ?Period)))))	FinancialOntology.kif 2808-2820	If an agreement the attribute european style option and the agreement has expiration a time point, then there exist a time interval, another time interval and a physical such that the time interval is an instance of time interval and the end of the time interval is equal to the time point and if the physical is an instance of exercise an option and the time of existence of the physical is equal to the other time interval, then the other time interval is a part of the 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