UnitedStatesDollar - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10776-10776
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10774-10774
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10778-10778
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4420-4420	"http://upload.wikimedia.org/wikipedia/commons/7/7b/ United_States_one_dollar_bill%2C_obverse.jpg" is a URL depicting united states dollar
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4419-4419	"http://upload.wikimedia.org/wikipedia/commons/f/f3/ Series2004NoteFront_50.jpg" is a URL depicting united states dollar
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4418-4418	"http://upload.wikimedia.org/wikipedia/en/5/5f/Usdollar100.jpg" is a URL depicting united states dollar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10773-10773	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 60325-60325	"美国美元" is the printable form of united states dollar in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60324-60324	"美國美元" is the printable form of united states dollar in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60323-60323	"united states dollar" is the printable form of united states dollar in english language

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 733-738	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 another real number is equal to (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 2140-2144	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2173-2185	If a physical is price a real number united states dollar(s) for an agent and there exists a stock split such that the stock split is split for an integer for another integer and the time of existence of the stock split is equal to the agentOfSplit, then a quantity is equal to the real number and the integer and another real number is equal to the quantity and the other integer and the physical is price the other real number united states dollar(s) for the agentAfterSplit and the agent meets the agentOfSplit and the agentOfSplit meets the agentAfterSplit

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 733-738	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 another real number is equal to (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 810-831	If a set or class 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 a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the set or class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 518-533	If use of a set or class is free for a cognitive agent and an agent is an instance of the set or class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 333-348	If use of a set or class is free for a kind of hotel unit and the set or class 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 set or class 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 process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 350-363	If use of a set or class is free for a kind of hotel unit and the set or class 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 a process is an instance of the set or class or another process is an instance of the set or class 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 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-446	If a kind of time interval is an instance of time interval and low income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is less than 756
No TPTP formula. May not be expressible in strict first order.	Economy.kif 455-461	If a kind of time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is greater than or equal to 756
No TPTP formula. May not be expressible in strict first order.	Economy.kif 463-469	If a kind of time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is less than 2996
No TPTP formula. May not be expressible in strict first order.	Economy.kif 478-484	If a kind of time interval is an instance of time interval and upper middle income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is greater than or equal to 2996
No TPTP formula. May not be expressible in strict first order.	Economy.kif 486-492	If a kind of time interval is an instance of time interval and upper middle income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area is per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is less than 9267
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 840-863	If renters of a kind of hotel function room can pay to use a set or class and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the set or class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price a currency measure for the cognitive agent and the currency measure is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 541-558	If renters of a cognitive agent can pay to use a set or class and an agent is an instance of the set or class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price a currency measure for the cognitive agent and the currency measure is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 372-392	If renters of a kind of hotel unit can pay to use a set or class and the set or class is a subclass of object, then if 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 set or class 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 process is located at the object or 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 process is price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 394-411	If renters of a kind of hotel unit can pay to use a set or class and the set or class is a subclass of process, then if 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 a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2173-2185	If a physical is price a real number united states dollar(s) for an agent and there exists a stock split such that the stock split is split for an integer for another integer and the time of existence of the stock split is equal to the agentOfSplit, then a quantity is equal to the real number and the integer and another real number is equal to the quantity and the other integer and the physical is price the other real number united states dollar(s) for the agentAfterSplit and the agent meets the agentOfSplit and the agentOfSplit meets the agentAfterSplit

statement

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

Merge.kif 10792-10794

A real number united states cent(s) is equal to 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: