CallOption - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CallOption

CallOption

more pictures...

appearance as argument number 1

(documentation CallOption EnglishLanguage "An option contract that gives the holder the right to buy a certain quantity (usually 100 shares) of an underlying security from the writer of the option, at a specified price (the strike price) up to a specified date (the expiration date).")	FinancialOntology.kif 2539-2542
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg")	pictureList.kif 10588-10588	externalImage CallOption and "http://upload.wikimedia.org/wikipedia/commons/1/18/ NASDAQ_studio.jpg"
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg")	pictureList.kif 10587-10587	externalImage CallOption and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg"
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg")	pictureList.kif 9938-9938	externalImage CallOption and "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg"
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/en/7/7f/ CallOption.png")	pictureList.kif 10589-10589	externalImage CallOption and "http://upload.wikimedia.org/wikipedia/en/7/7f/CallOption.png"
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/en/f/f5/ CallWrite.png")	pictureList.kif 10590-10590	externalImage CallOption and "http://upload.wikimedia.org/wikipedia/en/f/f5/CallWrite.png"
(subAttribute CallOption Option)	FinancialOntology.kif 2538-2538	subAttribute CallOption and Option

appearance as argument number 2

(termFormat ChineseLanguage CallOption "看涨期权")	domainEnglishFormat.kif 12721-12721	termFormat ChineseLanguage, CallOption and "看涨期权"
(termFormat ChineseTraditionalLanguage CallOption "看漲期權")	domainEnglishFormat.kif 12720-12720	termFormat ChineseTraditionalLanguage, CallOption and "看漲期權"
(termFormat EnglishLanguage CallOption "call option")	domainEnglishFormat.kif 12719-12719	termFormat EnglishLanguage, CallOption and "call option"

antecedent

(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option CallOption) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (lessThan ?StockPrice ?StrikePrice))) (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 2965-2973	FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan FinancialInstrumentPrice and CurrencyMeasure outOfTheMoney Agreement and Agent
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option CallOption) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (lessThan ?StrikePrice ?StockPrice))) (inTheMoney ?Option ?Time))	FinancialOntology.kif 2922-2930	FinancialInstrument FinancialInstrumentPrice and CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan CurrencyMeasure and FinancialInstrumentPrice inTheMoney Agreement and Agent
(=> (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

consequent

(=> (instance ?Spread ButterflySpread) (exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4) (and (instance ?Call1 CallOption) (instance ?Call2 CallOption) (instance ?Call3 CallOption) (instance ?Call4 CallOption) (subProcess ?Call1 ?Spread) (subProcess ?Call2 ?Spread) (subProcess ?Call3 ?Spread) (subProcess ?Call4 ?Spread) (strikePrice ?Call1 ?Price1) (strikePrice ?Call2 ?Price2) (strikePrice ?Call3 ?Price3) (strikePrice ?Call4 ?Price4) (lessThan ?Price1 ?Price2) (lessThan ?Price1 ?Price3) (greaterThan ?Price4 ?Price2) (greaterThan ?Price4 ?Price2))))	FinancialOntology.kif 3027-3046	instance Process and ButterflySpread FinancialInstrument FinancialInstrument, FinancialInstrument, FinancialInstrument, CurrencyMeasure, CurrencyMeasure, CurrencyMeasure and CurrencyMeasure instance FinancialInstrument and CallOption instance FinancialInstrument and CallOption instance FinancialInstrument and CallOption instance FinancialInstrument and CallOption subProcess FinancialInstrument and Process subProcess FinancialInstrument and Process subProcess FinancialInstrument and Process subProcess FinancialInstrument and Process strikePrice FinancialInstrument and CurrencyMeasure strikePrice FinancialInstrument and CurrencyMeasure strikePrice FinancialInstrument and CurrencyMeasure strikePrice FinancialInstrument and CurrencyMeasure lessThan CurrencyMeasure and CurrencyMeasure lessThan CurrencyMeasure and CurrencyMeasure greaterThan CurrencyMeasure and CurrencyMeasure greaterThan CurrencyMeasure and CurrencyMeasure
(=> (instance ?Straddle Straddle) (exists (?Price ?Date ?Number) (and (equal (CardinalityFn (KappaFn ?Call (and (instance ?Call CallOption) (part ?Call ?Straddle)))) ?Number) (equal (CardinalityFn (KappaFn ?Put (and (instance ?Put PutOption) (part ?Put ?Straddle)))) ?Number) (forall (?Option) (=> (and (instance ?Option Option) (part ?Option ?Straddle)) (and (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price)))))))	FinancialOntology.kif 3052-3076	instance Object and Straddle CurrencyMeasure TimePoint and Integer equal CardinalityFn KappaFn SymbolicString and instance SymbolicString and CallOption part SymbolicString and Object and Integer equal CardinalityFn KappaFn SymbolicString and instance SymbolicString and PutOption part SymbolicString and Object and Integer Agreement instance Agreement and Option part Agreement and Object agreementExpirationDate Agreement and TimePoint strikePrice Agreement and CurrencyMeasure
(=> (property ?Option Option) (exists (?Type ?Date ?Stock ?Price) (and (or (equal ?Type CallOption) (equal ?Type PutOption)) (property ?Option ?Type) (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price) (underlier ?Option ?Stock) (measure ?Stock (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2461-2472	property Agreement and Option Attribute TimePoint, FinancialInstrument and CurrencyMeasure equal Attribute and CallOption equal Attribute and PutOption property Agreement and Attribute agreementExpirationDate Agreement and TimePoint strikePrice Agreement and CurrencyMeasure underlier Agreement and FinancialInstrument measure FinancialInstrument and MeasureFn 100 and ShareUnit

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