Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PutOption

 Sigma KEE - PutOption
PutOption

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2664-2667
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11688-11688
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11687-11687
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10211-10211
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11686-11686
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2663-2663 PutOption est un sous-attribut de Option

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48206-48206
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48205-48205
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48204-48204

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3015-3026 FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2768-2780

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


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