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

Formal Language: 



KB Term:  Term intersection
English Word: 

  atTheMoney

 Sigma KEE - atTheMoney
atTheMoney

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3031-3032
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3029-3029 在钱 的 1 数量 是 选项 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3030-3030 在钱 的 2 数量 是 时间位置 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3028-3028 在钱 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 216-216
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 215-215
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 214-214
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8988-8988
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8987-8987
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8986-8986

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


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


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