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 2767-2769
(externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E_ticker.jpg")	pictureList.kif 10980-10980
(externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg")	pictureList.kif 10009-10009
(subclass ExerciseAnOption FinancialTransaction)	FinancialOntology.kif 2766-2766	ExerciseAnOption は金融取引の subclass では

appearance as argument number 2

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

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 2771-2783	工程は ExerciseAnOption の instance では Agreement は工程の patient では Agreement には attribute CallOption 工程は時間位置の during exists underlier Agreement and FinancialInstrument 工程工程は購買の instance では FinancialInstrument は工程の patient では工程は時間位置の during exists FinancialInstrument の measure は 100 の ShareUnit(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 2785-2797	工程は ExerciseAnOption の instance では Agreement は工程の patient では Agreement には attribute PutOption 工程は時間位置の during exists underlier Agreement and FinancialInstrument 工程工程は販売の instance では FinancialInstrument は工程の patient では工程は時間位置の during exists FinancialInstrument の measure は 100 の ShareUnit(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 2805-2817	Agreement には attribute AmericanStyleOption optionHolder Agreement and 認識エージェント agreementExpirationDate Agreement and 時点認識エージェントはエンティティーエンティティーは ExerciseAnOption の instance では Agreement はエンティティーの patient ではエンティティーの time の existence の end は時点の end の before に happens を実行する right を　持って
(=> (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 2825-2837	Agreement には attribute EuropeanStyleOption agreementExpirationDate Agreement and 時点時間間隔時間間隔 and 物理時間間隔は時間間隔の instance では equal 時間間隔の end and 時点物理は ExerciseAnOption の instance では equal 物理の time の existence and 時間間隔時間間隔は時間間隔の part では

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