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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesDollar
UnitedStatesDollar

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 7385-7385
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1333-1333
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. pictureList.kif 4417-4417
No TPTP formula. May not be expressible in strict first order. Merge.kif 7384-7384 UnitedStatesDollar est une instance de UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2941-2941 currencyValue UnitedStatesDollarBill and UnitedStatesDollar
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60382-60382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60381-60381
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60380-60380

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2311-2311 codeMapping ISO-4217-A, "USD" and UnitedStatesDollar

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 783-788
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2208-2212

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3648-3650 currencyExchangePerUSDollar mesure de devise and interval temporel currencyExchangeRateInPeriod UnitedStatesDollar, mesure de devise and interval temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 3661-3666 currencyExchangePerUSDollar mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel currencyExchangeRate UnitedStatesDollar and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 783-788
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Economy.kif 440-447
No TPTP formula. May not be expressible in strict first order. Economy.kif 456-463
No TPTP formula. May not be expressible in strict first order. Economy.kif 465-472
No TPTP formula. May not be expressible in strict first order. Economy.kif 481-488
No TPTP formula. May not be expressible in strict first order. Economy.kif 490-497