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
( ! [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
( ! [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

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
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1179-1194
No TPTP formula. May not be expressible in strict first order. Economy.kif 440-446
No TPTP formula. May not be expressible in strict first order. Economy.kif 455-461
No TPTP formula. May not be expressible in strict first order. Economy.kif 463-469
No TPTP formula. May not be expressible in strict first order. Economy.kif 478-484
No TPTP formula. May not be expressible in strict first order. Economy.kif 486-492
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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