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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2623-2639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2687-2703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2641-2659

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3119-3143
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3149-3173
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2540-2551


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