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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesDollar
UnitedStatesDollar(united states dollar)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2619-2619
No TPTP formula. May not be expressible in strict first order. Merge.kif 7294-7294
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4420-4420
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4419-4419
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4418-4418
No TPTP formula. May not be expressible in strict first order. Merge.kif 7293-7293 United states dollar is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2951-2951 United states dollar is a currency value of united states dollar bill
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60347-60347
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60346-60346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60345-60345

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2302-2302 "USD" in ISO-4217-A denotes united states dollar

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 782-787
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2217-2221
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2250-2262

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3658-3660 A kind of time interval is a currency exchange per US dollar of a currency measure if and only if united states dollar currency exchange rate in period the currency measure for a kind of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 3671-3676 A kind of time interval is a currency exchange per US dollar of a currency measure if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is a currency exchange rate of united states dollar holds during the time position
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 782-787
No TPTP formula. May not be expressible in strict first order. Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Economy.kif 440-446
No TPTP formula. May not be expressible in strict first order. Economy.kif 455-461
No TPTP formula. May not be expressible in strict first order. Economy.kif 463-469
No TPTP formula. May not be expressible in strict first order. Economy.kif 478-484
No TPTP formula. May not be expressible in strict first order. Economy.kif 486-492
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2250-2262