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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyExchangeRate

Sigma KEE - currencyExchangeRate
currencyExchangeRate

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3656-3659
No TPTP formula. May not be expressible in strict first order. Economy.kif 3653-3653 汇率 的 1 数量 是 UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3654-3654 汇率 的 2 数量 是 货币测量instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3652-3652 汇率二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 600-600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 599-599
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 598-598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18078-18078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18077-18077
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18076-18076

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3661-3666 有点 时距 货币测量currency 交换 每美元 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量美国美元currency 交换汇率 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 3668-3673 UnitOfCurrency 对于 有点 时距 在周期 货币测量currency 交换汇率 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 UnitOfCurrencycurrency 交换汇率 在 那个 时间位置 holdsDuring


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