Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  OperatingFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ExerciseAnOption FinancialTransaction) | FinancialOntology.kif 2774-2774 | Exercise an option is a subclass of financial transaction |
| (documentation ExerciseAnOption EnglishLanguage "An activity when the owner of the the Option contract invokes his rights. In the case of a call, the option owner buys the underlying stock. In the case of a put, the option owner sells the underlying stock.") | FinancialOntology.kif 2775-2777 | Exercise an option is a subclass of financial transaction |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10009-10009 | Exercise an option is a subclass of financial transaction |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E_ticker.jpg") | pictureList.kif 10980-10980 | Exercise an option is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 2779-2791 | If X is an instance of exercise an option, Y is a patient of X, Y the attribute call option, X exists during Z, and W is an underlier of Y, then there exists V such that V is an instance of buying and W is a patient of V and V exists during Z and the measure of W is 100 share unit(s) |
| (=> (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 |
|
|
| (=> (and (instance ?Option AmericanStyleOption) (optionHolder ?Option ?Agent) (agreementExpirationDate ?Option ?Day)) (holdsRight ?Agent (exists (?Exercise) (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (before (EndFn (WhenFn ?Exercise)) (EndFn ?Day)))))) |
FinancialOntology.kif 2811-2823 | If X is an instance of american style option, Y holds X, and X has expiration Z, then Y has the right to perform %3 |
| (=> (and (property ?Option EuropeanStyleOption) (agreementExpirationDate ?Option ?Date)) (exists (?Period ?Time ?Exercise) (and (instance ?Period TimeInterval) (equal (EndFn ?Period) ?Date) (=> (and (instance ?Exercise ExerciseAnOption) (equal (WhenFn ?Exercise) ?Time)) (temporalPart ?Time ?Period))))) |
FinancialOntology.kif 2829-2841 | If X the attribute european style option and X has expiration Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of timeframe (3) equal the end of Z (4) Y (5) V is an instance of exercise an option (6) equal the time of existence of V (7) WW is a part of Z |
|
