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 7080-7080
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 7079-7079 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 2944-2944 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 60288-60288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60287-60287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60286-60286

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


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

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 732-737
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2139-2143
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2172-2184

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3651-3653 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 3664-3669 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 732-737
No TPTP formula. May not be expressible in strict first order. Hotel.kif 814-835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-537
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. Hotel.kif 844-867
No TPTP formula. May not be expressible in strict first order. Hotel.kif 545-562
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-394
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-414
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2172-2184