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

Formal Language: 



KB Term:  Term intersection
English Word: 

  strikePrice

 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 执行价格 的 1 数量 是 金融工具 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2610-2610 执行价格 的 2 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2608 执行价格 是 二元谓语 的 instance

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 55638-55638
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55637-55637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55636-55636

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3051-3062 有存在 金融工具， 那个 金融工具Price， and 和 另一个 实数 这样 协议 是 看涨期权 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 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 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 另外 实数 是 lessThan 那个 金融工具Price 若且唯若 那个 施事体 是 那个 协议 的 in 金钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3034-3042 有存在 金融工具， 那个 金融工具Price， and 和 另一个 货币测量 这样 协议 是 选项 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 和 那个 另外 货币测量 是 那个 协议 的 strike 价钱 和 那个 金融工具Price equal 那个 另外 货币测量 若且唯若 那个 施事体 是 那个 协议 at 的钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3015-3026 有存在 金融工具， 那个 金融工具Price， and 和 另一个 实数 这样 协议 是 放选项 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 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 测量单位 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 那个 测量单位 是 那个 协议 的 strike 价钱 和 那个 另外 实数 是 lessThan 那个 金融工具Price 若且唯若 那个 施事体 是 那个 协议 的 out 资兂短缺
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 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