Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ButterflySpread

 Sigma KEE - ButterflySpread
ButterflySpread(butterfly spread)

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


(subclass ButterflySpread SpreadOption) FinancialOntology.kif 3169-3169 Butterfly spread is a subclass of spread option
(documentation ButterflySpread EnglishLanguage "A complex option strategy that involves selling two calls and buying two calls on the same or different markets, with several maturity dates. One of the options has a higher exercise price and the other has a lower exercise price than the other two options. The payoff diagram resembles the shape of a butterfly.") FinancialOntology.kif 3170-3174 Butterfly spread is a subclass of spread option

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


(termFormat EnglishLanguage ButterflySpread "butterfly spread") domainEnglishFormat.kif 12523-12523
(termFormat ChineseTraditionalLanguage ButterflySpread "蝴蝶傳播") domainEnglishFormat.kif 12524-12524
(termFormat ChineseLanguage ButterflySpread "蝴蝶传播") domainEnglishFormat.kif 12525-12525

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


(=>
    (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 3176-3200 If X is an instance of butterfly spread, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R and Q such that Y is an instance of call option and Z is an instance of call option and W is an instance of call option and V is an instance of call option and Y is a subprocess of X and Z is a subprocess of X and W is a subprocess of X and V is a subprocess of X and Q is an instance of unit of currency and U Q(s) is a strike price of Y and T Q(s) is a strike price of Z and S Q(s) is a strike price of W and R Q(s) is a strike price of V and U is less than T and U is less than S and R is greater than T and R is greater than T


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners