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 55533-55533	Long straddle is a subclass of straddle
(termFormat ChineseTraditionalLanguage Straddle "跨")	domainEnglishFormat.kif 55532-55532	Long straddle is a subclass of straddle
(termFormat EnglishLanguage Straddle "straddle")	domainEnglishFormat.kif 55531-55531	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 equal the number of instances in the class described by the symbolic string and the integer and equal the number of instances in the class described by the other symbolic string and 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: