ButterflySpread - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3113-3117
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3112-3112	Butterfly spread is a subclass of spread option

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12517-12517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12516-12516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12515-12515

antecedent

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

FinancialOntology.kif 3119-3143

If a process is an instance of butterfly spread,
then there exist a financial instrument, another financial instrument,, , a third financial instrument,, , a fourth financial instrument,, , a real number,, , another real number,, , a third real number,, , a fourth real number and an unit of measure such that the financial instrument is an instance of call option and the other financial instrument is an instance of call option and the third financial instrument is an instance of call option and the fourth financial instrument is an instance of call option and the financial instrument is a subprocess of the process and the other financial instrument is a subprocess of the process and the third financial instrument is a subprocess of the process and the fourth financial instrument is a subprocess of the process and the unit of measure is an instance of unit of currency and the real number the unit of measure(s) is a strike price of the financial instrument and the other real number the unit of measure(s) is a strike price of the other financial instrument and the third real number the unit of measure(s) is a strike price of the third financial instrument and the fourth real number the unit of measure(s) is a strike price of the fourth financial instrument and the real number is less than the other real number and the real number is less than the third real number and the fourth real number is greater than the other real number and the fourth real number is greater than the other real number

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: