| PutOption
| |
| 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 | |
| (externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 11714-11714 | |
| (externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/6/6b/ PutWrite.png") | pictureList.kif 10232-10232 | |
| (externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/d/d1/ PutOption.png") | pictureList.kif 11713-11713 | |
| (subAttribute PutOption Option) | FinancialOntology.kif 2584-2584 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PutOption "put option") | domainEnglishFormat.kif 8458-8458 |
| 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 | |
| (<=> (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 | |
| (=> (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 |
| 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 | |
| (=> (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 |
|
|
|