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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CallOption
CallOption(看涨期权)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2618-2621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10567-10567
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10566-10566
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9920-9920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10568-10568
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10569-10569
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2617-2617 看涨期权选项subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12775-12775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12774-12774
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12773-12773

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3051-3062 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议看涨期权instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体那个 协议out 资兂短缺
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3002-3013 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议看涨期权instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 另外 实数lessThan 那个 金融工具Price 若且唯若 那个 施事体那个 协议in 金钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2766

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