UnitedStatesDollar - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7623-7623
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7622-7622
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 7621-7621	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 10492-10492	"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 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 price a real number united states dollar(s) for an agent and there exists a stock split such that the stock split 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 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 perUS 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 perUS dollar of a currency measure if and only if there exists an entity such that the entity 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 entity
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 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 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 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 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 price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1179-1194	If a process is an instance of BusinessTrip and a service is an instance of AccommodationService and the service is a subprocess of the process and a policy is an instance of TravelPolicy and a cognitive agent is an agent of the process and an organization employs the cognitive agent and the organization enacts policy the policy and the cognitive agent receives a service during the service and another cognitive agent provides a service during the service and a kind of physical is used in the service and a formula issued by the organization in the policy is a prohibition and the price of a kind of physical set by the other cognitive agent according to a pricing scheme is a function quantity, then the function quantity is not greater than 1000 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1156-1174	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a process is an instance of AccommodationService, then there exist another process, a cognitive agent,, , a function quantity and a kind of physical such that the other process is an instance of ordering and the organization is an agent of the other process and the cognitive agent is an agent of the process and traveler accommodation is an attribute of the cognitive agent and the cognitive agent is an instance of Hotel-Organization and a kind of physical is an instance of hotel room and the price of the kind of physical set by the cognitive agent according to a pricing scheme is the function quantity and the function quantity is greater than 1000 united states dollar(s) issued by the organization in the policy is a prohibition
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 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 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 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 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 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 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 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 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 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 price a real number united states dollar(s) for an agent and there exists a stock split such that the stock split 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 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 7632-7634

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: