Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| agreementExpirationDate |
| appearance as argument number 1 |
|
| (instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 15649-15649 | expiration date is an instance of binary predicate |
| (domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 15650-15650 | The number 1 argument of expiration date is an instance of agreement |
| (domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 15651-15651 | The number 2 argument of expiration date is an instance of time point |
| (documentation agreementExpirationDate EnglishLanguage "(agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement.") | Mid-level-ontology.kif 15652-15654 | The number 2 argument of expiration date is an instance of time point |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 15656-15659 | If X has expiration Y, then X does not have the attribute active agreement holds during after Y |
| (=> (and (instance ?Option CallOption) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight ?Agent (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))))) |
FinancialOntology.kif 2652-2670 | If All of the following hold: (1) X is an instance of call option (2) Y holds X (3) Z is a strike price of X (4) X has expiration W (5) V is an underlier of X (6) V is price Z for U (7) U is an instance of timeframe (8) the end of U happens before the beginning of W, then Y has the right to perform %3 |
| (=> (and (instance ?Option CallOption) (optionSeller ?Option ?Seller) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsObligation ?Seller (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))))) |
FinancialOntology.kif 2672-2689 | If All of the following hold: (1) X is an instance of call option (2) Y sells X (3) Z is a strike price of X (4) X has expiration W (5) V is an underlier of X (6) V is price Z for U (7) U is an instance of timeframe (8) the end of U happens before the beginning of W, then Y is obliged to perform tasks of type there exists T such that T is an instance of selling and V is a patient of T and T exists during U and the measure of V is 100 share unit(s) and S is an agent of T |
| (=> (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 ?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 |
| 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 |
|