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

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	instance Process and ExerciseAnOption patient Process and Agreement property Agreement and CallOption time Process and TimePosition underlier Agreement and FinancialInstrument Process instance Process and Buying patient Process and FinancialInstrument time Process and TimePosition measure FinancialInstrument and MeasureFn 100 and ShareUnit
(=> (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	instance Process and ExerciseAnOption patient Process and Agreement property Agreement and PutOption time Process and TimePosition underlier Agreement and FinancialInstrument Process instance Process and Selling patient Process and FinancialInstrument time Process and TimePosition measure FinancialInstrument and MeasureFn 100 and ShareUnit

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	property Agreement and AmericanStyleOption optionHolder Agreement and CognitiveAgent agreementExpirationDate Agreement and TimePoint holdsRight entity instance entity and ExerciseAnOption patient entity and Agreement before EndFn WhenFn entity and EndFn TimePoint and CognitiveAgent
(=> (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	property Agreement and EuropeanStyleOption agreementExpirationDate Agreement and TimeInterval TimeInterval TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and TimeInterval instance Physical and ExerciseAnOption equal WhenFn Physical and TimeInterval temporalPart TimeInterval and TimeInterval

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