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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PutOption
PutOption(put option)
put, put_option

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 Put option is a subattribute of 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 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
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 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