strikePrice
|
|
Sigma KEE - strikePrice
appearance as argument number 1
|
|
appearance as argument number 2
|
|
antecedent
|
|
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3051-3062 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3002-3013 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn inTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option Option)
(underlier ?Option ?Stock)
(price ?Stock ?StockPrice ?Time)
(strikePrice ?Option ?StrikePrice)
(equal ?StockPrice ?StrikePrice)))
(atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3034-3042 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** CurrencyMeasure um Agreement ist ein fall von Option %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice and AutonomousAgent und strikePrice ** Agreement and ** ** CurrencyMeasure und ** FinancialInstrumentPrice ist gleich ** ** CurrencyMeasure %n{nicht} genau dann wenn atTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3015-3026 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn inTheMoney ** Agreement and ** AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3064-3075 |
Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent |
(=>
(and
(property ?Option Option)
(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
(KappaFn ?Sell
(and
(instance ?Sell Selling)
(patient ?Sell ?Stocks)
(time ?Sell ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Sell ?Agent))) ?Agent)) |
FinancialOntology.kif 2669-2685 |
|
(=>
(and
(property ?Option Option)
(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
(KappaFn ?Buy
(and
(instance ?Buy Buying)
(patient ?Buy ?Stocks)
(time ?Buy ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2623-2639 |
|
(=>
(and
(property ?Option Option)
(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
(KappaFn ?Buy
(and
(instance ?Buy Buying)
(patient ?Buy ?Stocks)
(time ?Buy ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2687-2703 |
|
(=>
(and
(property ?Option Option)
(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
(KappaFn ?Sell
(and
(instance ?Sell Selling)
(patient ?Sell ?Stocks)
(time ?Sell ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))
(agent ?Sell ?Agent))) ?Seller)) |
FinancialOntology.kif 2641-2659 |
|
consequent
|
|
(=>
(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 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|