TreeView Knowledge Base Browser - PutOption

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PutOption

PutOption

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2664-2667
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11688-11688
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11687-11687
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10211-10211
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11686-11686
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2663-2663	PutOption e' um sub-atributo de Option

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48206-48206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48205-48205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48204-48204

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	Processo e' uma instancia de ExerciseAnOption Agreement e' um patient de Processo Agreement tem um atributo de PutOption Processo existe durante Posicao Temporal underlier Agreement and FinancialInstrument Processo Processo e' uma instancia de Vender FinancialInstrument e' um patient de Processo Processo existe durante Posicao Temporal a medida de FinancialInstrument e' 100 ShareUnit(s)

consequent

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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2540-2551	Agreement tem um atributo de Option Atributo Ponto no tempo, FinancialInstrument and Medida de Divisa Atributo e' igual a CallOption Atributo e' igual a PutOption Agreement tem um atributo de Atributo agreementExpirationDate Agreement and Ponto no tempo strikePrice Agreement and Medida de Divisa underlier Agreement and FinancialInstrument a medida de FinancialInstrument e' 100 ShareUnit(s)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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