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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyValue

 Sigma KEE - currencyValue
currencyValue

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3604-3606
No TPTP formula. May not be expressible in strict first order. Economy.kif 3603-3603 域 貨幣價值, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. Economy.kif 3602-3602 域子類 貨幣價值, 1 and 貨幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 3601-3601 例 貨幣價值 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 616-616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 615-615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 614-614
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18102-18102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18101-18101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18100-18100

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2908-2908 阿富汗阿富汗尼 是 阿富汗阿富汗硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2910-2910 英鎊 是 英鎊硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2912-2912 加拿大元 是 加拿大元硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2914-2914 歐元分 是 歐元硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2918-2918 法國法郎 是 法郎硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2920-2920 德國馬克 是 德國馬克硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2922-2922 意大利里拉 是 意大利里拉硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2924-2924 日圓 是 日元硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2926-2926 塔吉克索莫尼 是 塔吉克索莫尼硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2935-2935 測量 10.0 and 美國分 是 美國分硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2929-2929 美國分 是 美國分硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2941-2941 美國美元 是 美國美元的鈔票 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2932-2932 測量 5.0 and 美國分 是 美國五美分硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. Economy.kif 2938-2938 測量 25.0 and 美國分 是 美國四分之一硬幣 的 currency 價值


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