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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroDollar
EuroDollar(歐元)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2622-2622
No TPTP formula. May not be expressible in strict first order. Merge.kif 7397-7398
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1336-1336
No TPTP formula. May not be expressible in strict first order. Merge.kif 7395-7395 例 歐元 and UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2969-2969 歐元 是 奧地利 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 2997-2997 歐元 是 比利時 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3093-3093 歐元 是 塞浦路斯 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3133-3133 歐元 是 愛沙尼亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3145-3145 歐元 是 芬蘭 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 2893-2893 歐元 是 法國 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 2896-2896 歐元 是 德國 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3165-3165 歐元 是 希臘 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3225-3225 歐元 是 愛爾蘭 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 2899-2899 歐元 是 意大利 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3269-3269 歐元 是 拉脫維亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3289-3289 歐元 是 立陶宛 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3293-3293 歐元 是 盧森堡 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3317-3317 歐元 是 馬耳他 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3101-3101 歐元 是 荷蘭 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3413-3413 歐元 是 葡萄牙 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3457-3457 歐元 是 斯洛伐克 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3459-3459 歐元 是 斯洛文尼亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3475-3475 歐元 是 西班牙 的 currency 類別
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22510-22510
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22509-22509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22508-22508

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2302-2302 "EUR" 在 ISO-4217-A denotes 歐元

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3229-3233

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3227