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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroDollar
EuroDollar(euro dollar)euro

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 7174-7175
No TPTP formula. May not be expressible in strict first order. Merge.kif 7172-7172 Euro dollar is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2972-2972 Euro dollar is a currency type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 3000-3000 Euro dollar is a currency type of belgium
No TPTP formula. May not be expressible in strict first order. Economy.kif 3096-3096 Euro dollar is a currency type of cyprus
No TPTP formula. May not be expressible in strict first order. Economy.kif 3136-3136 Euro dollar is a currency type of estonia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3148-3148 Euro dollar is a currency type of finland
No TPTP formula. May not be expressible in strict first order. Economy.kif 2896-2896 Euro dollar is a currency type of france
No TPTP formula. May not be expressible in strict first order. Economy.kif 2899-2899 Euro dollar is a currency type of germany
No TPTP formula. May not be expressible in strict first order. Economy.kif 3168-3168 Euro dollar is a currency type of greece
No TPTP formula. May not be expressible in strict first order. Economy.kif 3228-3228 Euro dollar is a currency type of ireland
No TPTP formula. May not be expressible in strict first order. Economy.kif 2902-2902 Euro dollar is a currency type of italy
No TPTP formula. May not be expressible in strict first order. Economy.kif 3272-3272 Euro dollar is a currency type of latvia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3292-3292 Euro dollar is a currency type of lithuania
No TPTP formula. May not be expressible in strict first order. Economy.kif 3296-3296 Euro dollar is a currency type of luxembourg
No TPTP formula. May not be expressible in strict first order. Economy.kif 3320-3320 Euro dollar is a currency type of malta
No TPTP formula. May not be expressible in strict first order. Economy.kif 3104-3104 Euro dollar is a currency type of netherlands
No TPTP formula. May not be expressible in strict first order. Economy.kif 3416-3416 Euro dollar is a currency type of portugal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3460-3460 Euro dollar is a currency type of slovakia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3462-3462 Euro dollar is a currency type of slovenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3478-3478 Euro dollar is a currency type of spain
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22503-22503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22502-22502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22501-22501

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2297-2297 "EUR" in ISO-4217-A denotes euro dollar

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3210-3214

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3204-3208

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7182-7184 A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s)


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