PutOption - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PutOption

PutOption(put option)

put, put_option

appearance as argument number 1

(documentation PutOption EnglishLanguage "An option contract that gives the holder the right to sell a certain quantity of an underlying security to the writer of the option, at a specified price (strike price) up to a specified date (expiration date).")	FinancialOntology.kif 2585-2588
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg")	pictureList.kif 11715-11715	"http://upload.wikimedia.org/wikipedia/commons/1/18/ NASDAQ_studio.jpg" is a URL depicting put option
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg")	pictureList.kif 11714-11714	"http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg" is a URL depicting put option
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/6/6b/ PutWrite.png")	pictureList.kif 10232-10232	"http://upload.wikimedia.org/wikipedia/en/6/6b/PutWrite.png" is a URL depicting put option
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/d/d1/ PutOption.png")	pictureList.kif 11713-11713	"http://upload.wikimedia.org/wikipedia/en/d/d1/PutOption.png" is a URL depicting put option
(subAttribute PutOption Option)	FinancialOntology.kif 2584-2584	Put option is a subattribute of option

appearance as argument number 2

(termFormat EnglishLanguage PutOption "put option")

domainEnglishFormat.kif 8458-8458

"put option" is the printable form of put option in english language

antecedent

(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option PutOption) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (lessThan ?StockPrice ?StrikePrice))) (inTheMoney ?Option ?Time))	FinancialOntology.kif 2932-2940	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is less than the other currency measure if and only if the agent is an in the money of the agreement
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option PutOption) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (lessThan ?StrikePrice ?StockPrice))) (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 2975-2983	There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the other currency measure is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
(=> (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	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement has an 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 ShareUnit(s)

consequent

(=> (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 3046-3070	If an object is an instance of straddle, then there exist a currency measure, a time point and an integer such that the number of instances in the class described by a symbolic string is equal to the integer and the number of instances in the class described by another symbolic string is equal to the integer and for all an agreement if the agreement is an instance of option and the agreement is a part of the object, then the agreement has expiration the time point and the currency measure is a strike price of the agreement
(=> (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 ?Stocks) (measure ?Stock (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2463-2474	If an agreement has an attribute option, then there exist an attribute, a time point,, , an object and a currency measure such that the attribute is equal to call option or the attribute is equal to put option and the agreement has an attribute the attribute and the agreement has expiration the time point and the currency measure is a strike price of the agreement and the objects is an underlier of the agreement and the measure of the object is 100 ShareUnit(s)

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