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


KB Term:  Term intersection
English Word: 

  Straddle

 Sigma KEE - Straddle
Straddle(straddle)straddle

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


(subclass Straddle OptionStrategy) FinancialOntology.kif 3202-3202 Straddle is a subclass of option strategy
(documentation Straddle EnglishLanguage "The purchase or sale of an equal number of puts and calls, with the same strike price and expiration dates.") FinancialOntology.kif 3203-3204 Straddle is a subclass of option strategy

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


(subclass LongStraddle Straddle) FinancialOntology.kif 3232-3232 Long straddle is a subclass of straddle
(termFormat EnglishLanguage Straddle "straddle") domainEnglishFormat.kif 55525-55525 Long straddle is a subclass of straddle
(termFormat ChineseTraditionalLanguage Straddle "跨") domainEnglishFormat.kif 55526-55526 Long straddle is a subclass of straddle
(termFormat ChineseLanguage Straddle "跨") domainEnglishFormat.kif 55527-55527 Long straddle is a subclass of straddle

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


(=>
    (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 3206-3230 If X is an instance of straddle, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that equal the number of instances in the class described by Y (3) V (4) equal the number of instances in the class described by U (5) V (6) T T is an instance of option (7) T is a part of XT has expiration W (8) Z is a strike price of 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