TreeView Knowledge Base Browser - ExerciseAnOption

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ExerciseAnOption

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 2757-2759
(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 2756-2756	subclass ExerciseAnOption and FinancialTransaction

appearance as argument number 2

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

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 2761-2773	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 2775-2787	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 2795-2807	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 2815-2827	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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