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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - currencyExchangeRateInPeriod
currencyExchangeRateInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3643-3646
No TPTP formula. May not be expressible in strict first order. Economy.kif 3639-3639 期间货币汇率 的 1 数量 是 UnitOfCurrencyinstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3640-3640 期间货币汇率 的 2 数量 是 货币测量instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 3641-3641 期间货币汇率 的 3 数量 是 时距subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 3638-3638 期间货币汇率三元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 604-604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 603-603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 602-602
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18084-18084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18083-18083
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18082-18082

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


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

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3648-3650 有点 时距 货币测量currency 交换 每美元 若且唯若 美国美元 对于 有点 时距 在周期 那个 货币测量currency 交换汇率


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