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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuroDollar

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 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 Euro dollar is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2969-2969 Euro dollar is a currency type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 2997-2997 Euro dollar is a currency type of belgium
No TPTP formula. May not be expressible in strict first order. Economy.kif 3093-3093 Euro dollar is a currency type of cyprus
No TPTP formula. May not be expressible in strict first order. Economy.kif 3133-3133 Euro dollar is a currency type of estonia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3145-3145 Euro dollar is a currency type of finland
No TPTP formula. May not be expressible in strict first order. Economy.kif 2893-2893 Euro dollar is a currency type of france
No TPTP formula. May not be expressible in strict first order. Economy.kif 2896-2896 Euro dollar is a currency type of germany
No TPTP formula. May not be expressible in strict first order. Economy.kif 3165-3165 Euro dollar is a currency type of greece
No TPTP formula. May not be expressible in strict first order. Economy.kif 3225-3225 Euro dollar is a currency type of ireland
No TPTP formula. May not be expressible in strict first order. Economy.kif 2899-2899 Euro dollar is a currency type of italy
No TPTP formula. May not be expressible in strict first order. Economy.kif 3269-3269 Euro dollar is a currency type of latvia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3289-3289 Euro dollar is a currency type of lithuania
No TPTP formula. May not be expressible in strict first order. Economy.kif 3293-3293 Euro dollar is a currency type of luxembourg
No TPTP formula. May not be expressible in strict first order. Economy.kif 3317-3317 Euro dollar is a currency type of malta
No TPTP formula. May not be expressible in strict first order. Economy.kif 3101-3101 Euro dollar is a currency type of netherlands
No TPTP formula. May not be expressible in strict first order. Economy.kif 3413-3413 Euro dollar is a currency type of portugal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3457-3457 Euro dollar is a currency type of slovakia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3459-3459 Euro dollar is a currency type of slovenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3475-3475 Euro dollar is a currency type of spain
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" in ISO-4217-A denotes euro dollar

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

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


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


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