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 2681-2684 | |
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") | pictureList.kif 11681-11681 | |
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 11680-11680 | |
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/6/6b/ PutWrite.png") | pictureList.kif 10209-10209 | |
(externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/d/d1/ PutOption.png") | pictureList.kif 11679-11679 | |
(subAttribute PutOption Option) | FinancialOntology.kif 2680-2680 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage PutOption "放选项") | domainEnglishFormat.kif 48208-48208 | |
(termFormat ChineseTraditionalLanguage PutOption "放選項") | domainEnglishFormat.kif 48207-48207 | |
(termFormat EnglishLanguage PutOption "put option") | domainEnglishFormat.kif 48206-48206 |
antecedent |
![]() |
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option PutOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StockPrice ?StrikePrice))) (inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3032-3043 | |
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option PutOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StrikePrice ?StockPrice))) (outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3081-3092 | |
(=> (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 |
consequent |
![]() |
(=> (instance ?Straddle Straddle) (exists (?Call ?Price ?Date ?Number ?Put) (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 3166-3190 | |
(=> (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 2557-2568 |
![]() |
![]() |