TreeView Knowledge Base Browser - optionHolder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - optionHolder

optionHolder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2588-2589
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2586-2586	O argumento numero 1 de optionHolder e' uma instancia de Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2587-2587	O argumento numero 2 de optionHolder e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2584-2584	optionHolder e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2583-2583	optionHolder e' uma sub-relacao de partyToAgreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4030-4030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4029-4029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4028-4028
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42360-42360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42359-42359
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42358-42358

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2788-2800	Agreement tem um atributo de AmericanStyleOption optionHolder Agreement and Agente Cognitivo agreementExpirationDate Agreement and Ponto no tempo Agente Cognitivo tem o direito de executar Entidade Entidade e' uma instancia de ExerciseAnOption Agreement e' um patient de Entidade o fim de tempo de existencia de Entidade comeca antes de o fim de Ponto no tempo
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 2591-2593	optionHolder Agreement and Agente Cognitivo 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