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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ButterflySpread
ButterflySpread(butterfly spread)butterfly_spread, 蝴蝶传播, 蝴蝶傳播

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


(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 3021-3025
(subclass ButterflySpread SpreadOption) FinancialOntology.kif 3020-3020 Butterfly spread is a subclass of spread option

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


(termFormat ChineseLanguage ButterflySpread "蝴蝶传播") domainEnglishFormat.kif 12463-12463 "蝴蝶传播" is the printable form of butterfly spread in ChineseLanguage
(termFormat ChineseTraditionalLanguage ButterflySpread "蝴蝶傳播") domainEnglishFormat.kif 12462-12462 "蝴蝶傳播" is the printable form of butterfly spread in ChineseTraditionalLanguage
(termFormat EnglishLanguage ButterflySpread "butterfly spread") domainEnglishFormat.kif 12461-12461 "butterfly spread" is the printable form of butterfly spread in english language

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


(=>
    (instance ?Spread ButterflySpread)
    (exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4)
        (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)
            (strikePrice ?Call1 ?Price1)
            (strikePrice ?Call2 ?Price2)
            (strikePrice ?Call3 ?Price3)
            (strikePrice ?Call4 ?Price4)
            (lessThan ?Price1 ?Price2)
            (lessThan ?Price1 ?Price3)
            (greaterThan ?Price4 ?Price2)
            (greaterThan ?Price4 ?Price2))))
FinancialOntology.kif 3027-3046


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners