(=>
(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 |
- Wenn Process ist ein fall von ButterflySpread %n{nicht},
- dann es gibt FinancialInstrument, ** FinancialInstrument,, , ** FinancialInstrument,, , ** FinancialInstrument,, , RealNumber,, , ** RealNumber,, , ** RealNumber,, , ** RealNumber, and und UnitOfMeasure um ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** ** FinancialInstrument ist ein fall von CallOption %n{nicht} und ** FinancialInstrument ist ein subProzess von ** Process und ** ** FinancialInstrument ist ein subProzess von ** Process und ** ** FinancialInstrument ist ein subProzess von ** Process und ** ** FinancialInstrument ist ein subProzess von ** Process und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** FinancialInstrument and ** RealNumber ** UnitOfMeasure(s) und strikePrice ** ** FinancialInstrument and ** ** RealNumber ** UnitOfMeasure(s) und strikePrice ** ** FinancialInstrument and ** ** RealNumber ** UnitOfMeasure(s) und strikePrice ** ** FinancialInstrument and ** ** RealNumber ** UnitOfMeasure(s) und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|