Straddle - Sigma Knowledge base Browser

appearance as argument number 1

(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 3163-3164
(subclass Straddle OptionStrategy)	FinancialOntology.kif 3162-3162	Straddle is a subclass of option strategy

appearance as argument number 2

(subclass LongStraddle Straddle)	FinancialOntology.kif 3192-3192	Long straddle is a subclass of straddle
(termFormat ChineseLanguage Straddle "跨")	domainEnglishFormat.kif 55563-55563	Long straddle is a subclass of straddle
(termFormat ChineseTraditionalLanguage Straddle "跨")	domainEnglishFormat.kif 55562-55562	Long straddle is a subclass of straddle
(termFormat EnglishLanguage Straddle "straddle")	domainEnglishFormat.kif 55561-55561	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 3166-3190

If an object is an instance of straddle,
then there exist a symbolic string, a currency measure,, , a time point,, , an integer and another symbolic string such that the number of instances in the class described by the symbolic string is equal to the integer and the number of instances in the class described by the other symbolic string is equal to the integer and for all an agreement
- if the agreement is an instance of option and the agreement is a part of the object,
- then the agreement has expiration the time point and the currency measure is a strike price of the agreement

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

KB Term:			Term intersection

English Word: