TreeView Knowledge Base Browser - CallOption

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CallOption

CallOption

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2618-2621
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10567-10567
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10566-10566
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9920-9920
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10568-10568
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10569-10569
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2617-2617	CallOption e' um sub-atributo de Option

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12775-12775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12774-12774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12773-12773

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption 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 outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption 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 inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2754-2766	Processo e' uma instancia de ExerciseAnOption Agreement e' um patient de Processo Agreement tem um atributo de CallOption Processo existe durante Posicao Temporal underlier Agreement and FinancialInstrument Processo Processo e' uma instancia de Comprar 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 3119-3143	Processo e' uma instancia de ButterflySpread FinancialInstrument FinancialInstrument, FinancialInstrument, FinancialInstrument, Numero Real, Numero Real, Numero Real, Numero Real and Unidade de Medida FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' uma instancia de CallOption FinancialInstrument e' um sub-processo de Processo FinancialInstrument e' um sub-processo de Processo FinancialInstrument e' um sub-processo de Processo FinancialInstrument e' um sub-processo de Processo Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) strikePrice FinancialInstrument and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Numero Real e' menos que Numero Real Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real
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