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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 放选项选项subAttribute

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 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议放选项instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体那个 协议in 金钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议放选项instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 另外 实数lessThan 那个 金融工具Price 若且唯若 那个 施事体那个 协议out 资兂短缺
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