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 3146-3147
(subclass Straddle OptionStrategy)	FinancialOntology.kif 3145-3145	Straddle is a subclass of option strategy

appearance as argument number 2

(subclass LongStraddle Straddle)	FinancialOntology.kif 3175-3175	Long straddle is a subclass of straddle
(termFormat ChineseLanguage Straddle "跨")	domainEnglishFormat.kif 55570-55570	Long straddle is a subclass of straddle
(termFormat ChineseTraditionalLanguage Straddle "跨")	domainEnglishFormat.kif 55569-55569	Long straddle is a subclass of straddle
(termFormat EnglishLanguage Straddle "straddle")	domainEnglishFormat.kif 55568-55568	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 3149-3173

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: