Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PutOption
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PutOption Option) | FinancialOntology.kif 2691-2691 | Put option is a subclass of option |
| (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 2692-2695 | Put option is a subclass of option |
| (externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/6/6b/ PutWrite.png") | pictureList.kif 10209-10209 | Put option is a subclass of option |
| (externalImage PutOption "http://upload.wikimedia.org/wikipedia/en/d/d1/ PutOption.png") | pictureList.kif 11679-11679 | Put option is a subclass of option |
| (externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 11680-11680 | Put option is a subclass of option |
| (externalImage PutOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") | pictureList.kif 11681-11681 | Put option is a subclass of option |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Option PutOption) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight ?Agent (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))))) |
FinancialOntology.kif 2697-2714 | If All of the following hold: (1) X is an instance of put option (2) Y holds X (3) Z is a strike price of X (4) X has expiration W (5) V is price Z for U (6) U is an instance of timeframe (7) the end of U happens before the beginning of W (8) V is an underlier of X, then Y has the right to perform %3 |
| (=> (and (instance ?Option PutOption) (optionSeller ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsObligation ?Agent (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))))) |
FinancialOntology.kif 2716-2734 | If All of the following hold: (1) X is an instance of put option (2) Y sells X (3) Z is a strike price of X (4) X has expiration W (5) V is price Z for U (6) U is an instance of timeframe (7) the end of U happens before the beginning of W (8) V is an underlier of X, then Y is obliged to perform tasks of type there exists T such that T is an instance of buying and V is a patient of T and T exists during U and the measure of V is 100 share unit(s) and Y is an agent of T |
| (=> (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 2793-2805 | If X is an instance of exercise an option, Y is a patient of X, Y the attribute put option, X exists during Z, and W is an underlier of Y, then there exists V such that V is an instance of selling and W is a patient of V and V exists during Z and the measure of W is 100 share unit(s) |
| consequent |
|
|
| (=> (instance ?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 2579-2590 | If X is an instance of option, then there exist Y, Z,, , W and V such that equal Y and call option or equal Y and put option and X the attribute Y and X has expiration Z and V is a strike price of X and W is an underlier of X and the measure of W is 100 share unit(s) |
| (=> (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 3206-3230 | If X is an instance of straddle, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that equal the number of instances in the class described by Y (3) V (4) equal the number of instances in the class described by U (5) V (6) T T is an instance of option (7) T is a part of XT has expiration W (8) Z is a strike price of T |
|
