(=>
(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}
|
(=>
(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 3149-3173 |
|
(=>
(property ?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 2540-2551 |
|