(=>
(instance ?Spread ButterflySpread)
(exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4 ?U)
(and
(instance ?Call1 CallOption)
(instance ?Call2 CallOption)
(instance ?Call3 CallOption)
(instance ?Call4 CallOption)
(subProcess ?Call1 ?Spread)
(subProcess ?Call2 ?Spread)
(subProcess ?Call3 ?Spread)
(subProcess ?Call4 ?Spread)
(instance ?U UnitOfCurrency)
(strikePrice ?Call1
(MeasureFn ?Price1 ?U))
(strikePrice ?Call2
(MeasureFn ?Price2 ?U))
(strikePrice ?Call3
(MeasureFn ?Price3 ?U))
(strikePrice ?Call4
(MeasureFn ?Price4 ?U))
(lessThan ?Price1 ?Price2)
(lessThan ?Price1 ?Price3)
(greaterThan ?Price4 ?Price2)
(greaterThan ?Price4 ?Price2)))) |
FinancialOntology.kif 3119-3143 |
|