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 7309-7310
No TPTP formula. May not be expressible in strict first order. Merge.kif 7307-7307 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 2979-2979 Euro dollar is a currency type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 3007-3007 Euro dollar is a currency type of belgium
No TPTP formula. May not be expressible in strict first order. Economy.kif 3103-3103 Euro dollar is a currency type of cyprus
No TPTP formula. May not be expressible in strict first order. Economy.kif 3143-3143 Euro dollar is a currency type of estonia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3155-3155 Euro dollar is a currency type of finland
No TPTP formula. May not be expressible in strict first order. Economy.kif 2903-2903 Euro dollar is a currency type of france
No TPTP formula. May not be expressible in strict first order. Economy.kif 2906-2906 Euro dollar is a currency type of germany
No TPTP formula. May not be expressible in strict first order. Economy.kif 3175-3175 Euro dollar is a currency type of greece
No TPTP formula. May not be expressible in strict first order. Economy.kif 3235-3235 Euro dollar is a currency type of ireland
No TPTP formula. May not be expressible in strict first order. Economy.kif 2909-2909 Euro dollar is a currency type of italy
No TPTP formula. May not be expressible in strict first order. Economy.kif 3279-3279 Euro dollar is a currency type of latvia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3299-3299 Euro dollar is a currency type of lithuania
No TPTP formula. May not be expressible in strict first order. Economy.kif 3303-3303 Euro dollar is a currency type of luxembourg
No TPTP formula. May not be expressible in strict first order. Economy.kif 3327-3327 Euro dollar is a currency type of malta
No TPTP formula. May not be expressible in strict first order. Economy.kif 3111-3111 Euro dollar is a currency type of netherlands
No TPTP formula. May not be expressible in strict first order. Economy.kif 3423-3423 Euro dollar is a currency type of portugal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3467-3467 Euro dollar is a currency type of slovakia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3469-3469 Euro dollar is a currency type of slovenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 3485-3485 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 2288-2288 "EUR" in ISO-4217-A denotes euro dollar

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3225

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3215-3219

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7317-7319 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