UnitedStatesDollar - Sigma Knowledge base Browser

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 7428-7428
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 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.	pictureList.kif 4416-4416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7427-7427	United states 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 3278-3278	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 60374-60374	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 60373-60373	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 60372-60372	United states dollar is a currency value of united states dollar bill

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2313-2313

"USD" in ISO_4217_A denotes united states dollar

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 785-790	If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and equal another real number and (0 and the real number), then the financial account is overdraft the other real number united states dollar(s) for the day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2225-2229	If an object is an instance of penny stock and an agent asks for a real number united states dollar(s) for the object, then the real number is less than 5

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3985-3987	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 3998-4003	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 785-790	If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and equal another real number and (0 and the real number), then the financial account is overdraft the other real number united states dollar(s) for the day
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 847-868	If a kind of physical is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then the object is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 548-563	If use of a kind of physical is free for an agent and a process is an instance of a kind of physical and the agent is a customer of a cognitive agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses the process, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0.0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	If a time interval is an instance of time interval and low income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is less than 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	If a time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is greater than or equal to 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	If a time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is less than 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	If a time interval is an instance of time interval and upper middle income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is greater than or equal to 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	If a time interval is an instance of time interval and upper middle income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is less than 9267.0

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7435-7437

equal a real number united states cent(s) and the real number and 0.01 united states 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

KB Term:			Term intersection

English Word: