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

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 e' uma sub-classe de OptionStrategy

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3175-3175	LongStraddle e' uma sub-classe de Straddle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55532-55532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55531-55531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55530-55530

antecedent

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

FinancialOntology.kif 3149-3173

Objeto e' uma instancia de Straddle
Sequencia Simbolica Medida de Divisa, Ponto no tempo, Numero Inteiro and Sequencia Simbolica o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro Agreement
- Agreement e' uma instancia de Option Agreement e' uma &parte de Objeto
- agreementExpirationDate Agreement and Ponto no tempo strikePrice Agreement and Medida de Divisa

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