Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CallOption
CallOption(call option)
more pictures...
call, call_option

appearance as argument number 1
-------------------------


s__documentation(s__CallOption,s__EnglishLanguage,'"An option contract that gives the holder the right to buy a certain quantity (usually 100 shares) of an underlying security from the writer of the option, at a specified price (the strike price) up to a specified date (the expiration date)."')

FinancialOntology.kif 2559-2562
s__externalImage(s__CallOption,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg"')

pictureList.kif 10587-10587
s__externalImage(s__CallOption,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg"')

pictureList.kif 10586-10586
s__externalImage(s__CallOption,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg"')

pictureList.kif 9937-9937
s__externalImage(s__CallOption,'"http://upload.wikimedia.org/wikipedia/en/7/7f/ CallOption.png"')

pictureList.kif 10588-10588
s__externalImage(s__CallOption,'"http://upload.wikimedia.org/wikipedia/en/f/f5/ CallWrite.png"')

pictureList.kif 10589-10589
s__subAttribute(s__CallOption,s__Option)

FinancialOntology.kif 2558-2558 Call option is a subattribute of option

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__CallOption,'"看涨期权"')

domainEnglishFormat.kif 12778-12778
s__termFormat(s__ChineseTraditionalLanguage,s__CallOption,'"看漲期權"')

domainEnglishFormat.kif 12777-12777
s__termFormat(s__EnglishLanguage,s__CallOption,'"call option"')

domainEnglishFormat.kif 12776-12776

antecedent
-------------------------


( ! [V__Time,V__U,V__Option] :
   (((s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimePosition))
       =>
       (((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
               ((s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__StockPrice,s__RealNumber) &
                   s__instance(V__StrikePrice,s__RealNumber) &
                   (s__instance(V__Option,s__CallOption) &
                     s__underlier(V__Option,V__Stock)
                   &
                   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
                ,V__Time)
               &
               s__instance(V__U,s__UnitOfCurrency) &
               s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
           &
           s__lessThan(V__StockPrice,V__StrikePrice)))))
=>
s__outOfTheMoney(V__Option,V__Time))
&
(s__outOfTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
   s__instance(V__StockPrice,s__RealNumber) &
   s__instance(V__StrikePrice,s__RealNumber) &
   (s__instance(V__Option,s__CallOption) &
     s__underlier(V__Option,V__Stock)
   &
   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StockPrice,V__StrikePrice)))))))))
)
)

FinancialOntology.kif 2991-3002 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
( ! [V__Time,V__U,V__Option] :
   (((s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimePosition))
       =>
       (((( ? [V__Stock, V__StockPrice, V__StrikePrice] :
               ((s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__StockPrice,s__RealNumber) &
                   s__instance(V__StrikePrice,s__RealNumber) &
                   (s__instance(V__Option,s__CallOption) &
                     s__underlier(V__Option,V__Stock)
                   &
                   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
                ,V__Time)
               &
               s__instance(V__U,s__UnitOfCurrency) &
               s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
           &
           s__lessThan(V__StrikePrice,V__StockPrice)))))
=>
s__inTheMoney(V__Option,V__Time))
&
(s__inTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
   s__instance(V__StockPrice,s__RealNumber) &
   s__instance(V__StrikePrice,s__RealNumber) &
   (s__instance(V__Option,s__CallOption) &
     s__underlier(V__Option,V__Stock)
   &
   s__price(V__Stock,s__MeasureFn(V__StockPrice,V__U)
,V__Time)
&
s__instance(V__U,s__UnitOfCurrency) &
s__strikePrice(V__Option,s__MeasureFn(V__StrikePrice,V__U))
&
s__lessThan(V__StrikePrice,V__StockPrice)))))))))
)
)

FinancialOntology.kif 2942-2953 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__CallOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Buy] :
         ((s__instance(V__Buy,s__Buying) &
             s__patient(V__Buy,V__Stocks)
           &
           s__time(V__Buy,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2694-2706

consequent
-------------------------


( ! [V__Spread] :
   ((s__instance(V__Spread,s__ButterflySpread) =>
       (( ? [V__Call1, V__Call2, V__Call3, V__Call4, V__Price1, V__Price2, V__Price3, V__Price4, V__U] :
           ((s__instance(V__Price1,s__RealNumber) &
               s__instance(V__Price2,s__RealNumber) &
               s__instance(V__Price3,s__RealNumber) &
               s__instance(V__Price4,s__RealNumber) &
               (s__instance(V__Call1,s__CallOption) &
                 s__instance(V__Call2,s__CallOption) &
                 s__instance(V__Call3,s__CallOption) &
                 s__instance(V__Call4,s__CallOption) &
                 s__subProcess(V__Call1,V__Spread)
               &
               s__subProcess(V__Call2,V__Spread)
             &
             s__subProcess(V__Call3,V__Spread)
           &
           s__subProcess(V__Call4,V__Spread)
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__strikePrice(V__Call1,s__MeasureFn(V__Price1,V__U))
     &
     s__strikePrice(V__Call2,s__MeasureFn(V__Price2,V__U))
&
s__strikePrice(V__Call3,s__MeasureFn(V__Price3,V__U))
&
s__strikePrice(V__Call4,s__MeasureFn(V__Price4,V__U))
&
s__lessThan(V__Price1,V__Price2)
&
s__lessThan(V__Price1,V__Price3)
&
s__greaterThan(V__Price4,V__Price2)
&
s__greaterThan(V__Price4,V__Price2)))))))
)
)

FinancialOntology.kif 3059-3083
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3089-3113
( ! [V__Option] :
   (((s__instance(V__Option,s__Agreement) &
         s__instance(V__Option,s__FinancialInstrument))
       =>
       ((s__property(V__Option,s__Option) =>
           (( ? [V__Type, V__Date, V__Stock, V__Price] :
               ((s__instance(V__Type,s__Attribute) &
                   s__instance(V__Date,s__TimePoint) &
                   s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__Price,s__CurrencyMeasure) &
                   (((V__Type = s__CallOption) |
                         (V__Type = s__PutOption))
                         &
                         s__property(V__Option,V__Type)
                       &
                       s__agreementExpirationDate(V__Option,V__Date)
                     &
                     s__strikePrice(V__Option,V__Price)
                   &
                   s__underlier(V__Option,V__Stock)
                 &
                 s__measure(V__Stock,s__MeasureFn(n__100,s__ShareUnit))))))))))
)
)

FinancialOntology.kif 2481-2492


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners