Straddle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Straddle

Straddle(straddle)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3146-3147
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3145-3145	Straddle is a subclass of option strategy

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3175-3175	Long straddle is a subclass of straddle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55530-55530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55529-55529
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55528-55528

antecedent

No TPTP formula. May not be expressible in strict first order.

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