strikePrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - strikePrice

strikePrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2611-2613
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2609-2609	O argumento numero 1 de strikePrice e' uma instancia de FinancialInstrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2610-2610	O argumento numero 2 de strikePrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2608-2608	strikePrice e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2383-2383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2382-2382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2381-2381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55640-55640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55639-55639
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55638-55638

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 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 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 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

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 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