(=>
(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 |
