agreementExpirationDate - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - agreementExpirationDate

agreementExpirationDate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14050-14052
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14048-14048	O argumento numero 1 de agreementExpirationDate e' uma instancia de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14049-14049	O argumento numero 2 de agreementExpirationDate e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14047-14047	agreementExpirationDate e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2730-2730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2729-2729
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2728-2728
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 630-630	maturityDate e' uma sub-relacao de agreementExpirationDate
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22822-22822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22821-22821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22820-22820

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14054-14057	agreementExpirationDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante apos Ponto no tempo
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 2808-2820	Agreement tem um atributo de EuropeanStyleOption agreementExpirationDate Agreement and Ponto no tempo Intervalo Temporal Intervalo Temporal and Fisico Intervalo Temporal e' uma instancia de Intervalo Temporal o fim de Intervalo Temporal e' igual a Ponto no tempo Fisico e' uma instancia de ExerciseAnOption tempo de existencia de Fisico e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Intervalo Temporal
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 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