TreeView Knowledge Base Browser - Option

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Option

Option

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2537-2538
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10172-10172
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11568-11568
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11567-11567
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11561-11561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11562-11562
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11563-11563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11564-11564
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11565-11565
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2536-2536	Option e' um sub-atributo de FinancialContract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2784-2784	AmericanStyleOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2617-2617	CallOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2555-2555	ConventionalOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2824-2824	EquityOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2804-2804	EuropeanStyleOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2991-2991	IndexOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2568-2568	LEAPS e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2663-2663	PutOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2707-2707	StockOption e' um sub-atributo de Option
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42354-42354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42353-42353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42352-42352

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3029-3029	O argumento numero 1 de atTheMoney e' uma instancia de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2996-2996	O argumento numero 1 de inTheMoney e' uma instancia de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3045-3045	O argumento numero 1 de outOfTheMoney e' uma instancia de Option

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3034-3042	FinancialInstrument FinancialInstrumentPrice and Medida de Divisa Agreement e' uma instancia de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and Medida de Divisa FinancialInstrumentPrice e' igual a Medida de Divisa atTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
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)

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3097-3110	Processo e' uma instancia de SpreadOption Entidade Entidade, Processo, Processo and Posicao Temporal Entidade e' uma instancia de Option Entidade e' uma instancia de Option Processo e' uma instancia de Comprar Processo e' uma instancia de Vender Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Entidade e' um patient de Processo Entidade e' um patient de Processo Processo existe durante Posicao Temporal Processo existe durante Posicao Temporal
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 2591-2593	optionHolder Agreement and Agente Cognitivo Agreement tem um atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2604-2606	optionSeller Agreement and Agente Cognitivo Agreement tem um atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2725-2727	premium Agreement and Medida de Divisa Agreement tem um atributo de Option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2745-2747	underlier Agreement and FinancialInstrument Agreement tem um atributo de Option

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