UnitedStatesDollar - Sigma Knowledge base Browser

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)

united_states_dollar

appearance as argument number 1

s__documentation(s__UnitedStatesDollar,s__ChineseLanguage,'这是一种货币单位。')	Merge.kif 7652-7652
s__documentation(s__UnitedStatesDollar,s__EnglishLanguage,'A currency measure.')	Merge.kif 7651-7651
s__externalImage(s__UnitedStatesDollar,'http://upload.wikimedia.org/wikipedia/commons/7/7b/United_States_one_dollar_bill%2C_obverse.jpg')	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
s__externalImage(s__UnitedStatesDollar,'http://upload.wikimedia.org/wikipedia/commons/f/f3/Series2004NoteFront_50.jpg')	pictureList.kif 4419-4419	"http://upload.wikimedia.org/wikipedia/commons/f/f3/ Series2004NoteFront_50.jpg" is a URL depicting united states dollar
s__externalImage(s__UnitedStatesDollar,'http://upload.wikimedia.org/wikipedia/en/5/5f/Usdollar100.jpg')	pictureList.kif 4418-4418	"http://upload.wikimedia.org/wikipedia/en/5/5f/Usdollar100.jpg" is a URL depicting united states dollar
s__instance(s__UnitedStatesDollar,s__UnitOfCurrency)	Merge.kif 7650-7650	United states dollar is an instance of UnitOfCurrency

appearance as argument number 2

s__currencyValue(s__UnitedStatesDollarBill,s__UnitedStatesDollar)	Economy.kif 2944-2944	United states dollar is a currency value of united states dollar bill
s__termFormat(s__EnglishLanguage,s__UnitedStatesDollar,'united states dollar')	domainEnglishFormat.kif 10488-10488	"united states dollar" is the printable form of united states dollar in english language

appearance as argument number 3

s__codeMapping(s__ISO_4217_A,'USD',s__UnitedStatesDollar)

Media.kif 2306-2306

"USD" in ISO-4217-A denotes united states dollar

antecedent

( ! [V__Account,V__Date,V__Balance,V__Overdraft] : ((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar)) & s__lessThan(V__Balance,0) & (V__Overdraft = s__SubtractionFn(0,V__Balance))) => s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date)) )	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
( ! [V__Stock,V__Price,V__Date] : ((s__instance(V__Stock,s__PennyStock) & s__askPrice(V__Stock,s__MeasureFn(V__Price,s__UnitedStatesDollar),V__Date)) => s__lessThan(V__Price,5)) )	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
( ! [V__Stocks,V__Number,V__Time,V__N1,V__N2,V__TimeOfSplit,V__N3,V__NewNumber,V__TimeAfterSplit] : ((s__price(V__Stocks,s__MeasureFn(V__Number,s__UnitedStatesDollar),V__Time) & (? [V__Event] : (s__splitFor(V__Event,V__N1,V__N2) & (s__WhenFn(V__Event) = V__TimeOfSplit)))) => ((V__N3 = s__MultiplicationFn(V__Number,V__N1)) & (V__NewNumber = s__DivisionFn(V__N3,V__N2)) & s__price(V__Stocks,s__MeasureFn(V__NewNumber,s__UnitedStatesDollar),V__TimeAfterSplit) & s__meetsTemporally(V__Time,V__TimeOfSplit) & s__meetsTemporally(V__TimeOfSplit,V__TimeAfterSplit))) )	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

( ! [V__AMOUNT,V__PERIOD] : (s__currencyExchangePerUSDollar(V__AMOUNT,V__PERIOD) <=> s__currencyExchangeRateInPeriod(s__UnitedStatesDollar,V__AMOUNT,V__PERIOD)) )	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
( ! [V__Account,V__Date,V__Balance,V__Overdraft] : ((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar)) & s__lessThan(V__Balance,0) & (V__Overdraft = s__SubtractionFn(0,V__Balance))) => s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date)) )	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
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X] : ((s__freeFunctionRoomAmenity(V__FR,V__PHYS) & s__instance(V__RM,V__FR) & s__element(V__RM,s__PropertyFn(V__AGENT)) & s__instance(V__R,s__Renting) & s__patient(V__R,V__RM) & s__destination(V__R,V__CUST) & s__instance(V__X,V__PHYS) & s__possesses(V__AGENT,V__X) & s__customer(V__CUST,V__AGENT) & ((s__instance(V__X,s__Process) & (s__agent(V__X,V__CUST) \| s__experiencer(V__X,V__CUST))) \| (s__possesses(V__AGENT,V__X) & s__instance(V__X,s__Object) & s__uses(V__CUST,V__X)))) => s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT)) )	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
( ! [V__AGENT,V__PHYS,V__X,V__CUST] : ((s__freePropertyAmenity(V__AGENT,V__PHYS) & s__instance(V__X,V__PHYS) & s__customer(V__CUST,V__AGENT) & ((s__instance(V__X,s__Process) & (s__agent(V__X,V__CUST) \| s__experiencer(V__X,V__CUST))) \| (s__possesses(V__AGENT,V__X) & s__instance(V__X,s__Object) & s__uses(V__CUST,V__X)))) => s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT)) )	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
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] : ((s__freeRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__patient(V__P,V__O) \| s__instrument(V__P,V__O) \| s__resource(V__P,V__O))) => s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL)) )	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
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] : ((s__freeRoomAmenity(V__ROOM,V__PROC) & s__subclass(V__PROC,s__Process) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & (s__instance(V__P,V__PROC) \| (s__instance(V__S,V__PROC) & s__subProcess(V__P,V__S))) & s__located(V__P,V__R)) => s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL)) )	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.	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
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X,V__PRICE] : ((s__paidFunctionRoomAmenity(V__FR,V__PHYS) & s__instance(V__RM,V__FR) & s__element(V__RM,s__PropertyFn(V__AGENT)) & s__instance(V__R,s__Renting) & s__patient(V__R,V__RM) & s__destination(V__R,V__CUST) & s__instance(V__X,V__PHYS) & s__possesses(V__AGENT,V__X) & s__customer(V__CUST,V__AGENT) & ((s__instance(V__X,s__Process) & (s__agent(V__X,V__CUST) \| s__experiencer(V__X,V__CUST))) \| (s__possesses(V__AGENT,V__X) & s__instance(V__X,s__Object) & s__uses(V__CUST,V__X)))) => (s__price(V__X,V__PRICE,V__AGENT) & s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))) )	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)
( ! [V__AGENT,V__PHYS,V__X,V__CUST,V__PRICE] : ((s__paidPropertyAmenity(V__AGENT,V__PHYS) & s__instance(V__X,V__PHYS) & s__customer(V__CUST,V__AGENT) & ((s__instance(V__X,s__Process) & (s__agent(V__X,V__CUST) \| s__experiencer(V__X,V__CUST))) \| (s__possesses(V__AGENT,V__X) & s__instance(V__X,s__Object) & s__uses(V__CUST,V__X)))) => (s__price(V__X,V__PRICE,V__AGENT) & s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))) )	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)
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P,V__PRICE] : ((s__paidRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object)) => ((s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__located(V__P,V__O) \| s__patient(V__P,V__O) \| s__instrument(V__P,V__O) \| s__resource(V__P,V__O))) => (s__price(V__P,V__PRICE,V__HOTEL) & s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar))))) )	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)
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S,V__PRICE] : ((s__paidRoomAmenity(V__ROOM,V__PROC) & s__subclass(V__PROC,s__Process)) => ((s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & (s__instance(V__P,V__PROC) \| (s__instance(V__S,V__PROC) & s__subProcess(V__P,V__S))) & s__located(V__P,V__R)) => (s__price(V__P,V__PRICE,V__HOTEL) & s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar))))) )	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)
( ! [V__Stocks,V__Number,V__Time,V__N1,V__N2,V__TimeOfSplit,V__N3,V__NewNumber,V__TimeAfterSplit] : ((s__price(V__Stocks,s__MeasureFn(V__Number,s__UnitedStatesDollar),V__Time) & (? [V__Event] : (s__splitFor(V__Event,V__N1,V__N2) & (s__WhenFn(V__Event) = V__TimeOfSplit)))) => ((V__N3 = s__MultiplicationFn(V__Number,V__N1)) & (V__NewNumber = s__DivisionFn(V__N3,V__N2)) & s__price(V__Stocks,s__MeasureFn(V__NewNumber,s__UnitedStatesDollar),V__TimeAfterSplit) & s__meetsTemporally(V__Time,V__TimeOfSplit) & s__meetsTemporally(V__TimeOfSplit,V__TimeAfterSplit))) )	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

( ! [V__NUMBER] :
(s__MeasureFn(V__NUMBER,s__UnitedStatesCent) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,0.01)
,s__UnitedStatesDollar))
)

Merge.kif 7661-7663

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