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)

appearance as argument number 1
-------------------------


s__documentation(s__UnitedStatesDollar,s__ChineseLanguage,'"这是一种货币单位。"')

chinese_format.kif 2619-2619
s__documentation(s__UnitedStatesDollar,s__EnglishLanguage,'"A currency measure."')

Merge.kif 7137-7137
s__externalImage(s__UnitedStatesDollar,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ United_States_one_dollar_bill%2C_obverse.jpg"')

pictureList.kif 4420-4420
s__externalImage(s__UnitedStatesDollar,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ f3/ Series2004NoteFront_50.jpg"')

pictureList.kif 4419-4419
s__externalImage(s__UnitedStatesDollar,'"http://upload.wikimedia.org/wikipedia/ en/ 5/ 5f/ Usdollar100.jpg"')

pictureList.kif 4418-4418
s__instance(s__UnitOfCurrency,s__SetOrClass)

s__instance(s__UnitedStatesDollar,s__UnitOfCurrency)

Merge.kif 7136-7136 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__ChineseLanguage,s__UnitedStatesDollar,'"美国美元"')

domainEnglishFormat.kif 60347-60347
s__termFormat(s__ChineseTraditionalLanguage,s__UnitedStatesDollar,'"美國美元"')

domainEnglishFormat.kif 60346-60346
s__termFormat(s__EnglishLanguage,s__UnitedStatesDollar,'"united states dollar"')

domainEnglishFormat.kif 60345-60345

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__Date,V__Balance,V__Account,V__Overdraft] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Overdraft,s__RealNumber))
       =>
       (((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
           &
           s__lessThan(V__Balance,n__0)
         &
         (V__Overdraft = s__SubtractionFn(n__0,V__Balance)))
     =>
     (s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date)))))
)
)

FinancialOntology.kif 742-747
( ! [V__Price,V__Date,V__Stock] :
   (((s__instance(V__Price,s__RealNumber) &
         s__instance(V__Date,s__Agent))
       =>
       (((s__instance(V__Stock,s__PennyStock) &
             s__askPrice(V__Stock,s__MeasureFn(V__Price,s__UnitedStatesDollar),V__Date))
         =>
         (s__lessThan(V__Price,n__5)))))
)
)

FinancialOntology.kif 2179-2183
( ! [V__N1,V__Time,V__N2,V__N3,V__TimeOfSplit,V__NewNumber,V__Stocks,V__TimeAfterSplit,V__Number] :
   (((s__instance(V__N1,s__Integer) &
         s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimeInterval) &
         s__instance(V__N2,s__Integer) &
         s__instance(V__N3,s__Number) &
         s__instance(V__TimeOfSplit,s__TimeInterval) &
         s__instance(V__NewNumber,s__RealNumber) &
         s__instance(V__Stocks,s__Physical) &
         s__instance(V__TimeAfterSplit,s__Agent) &
         s__instance(V__TimeAfterSplit,s__TimeInterval) &
         s__instance(V__Number,s__RealNumber))
       =>
       (((s__price(V__Stocks,s__MeasureFn(V__Number,s__UnitedStatesDollar),V__Time)
           &
           ( ? [V__Event] :
             ((s__instance(V__Event,s__StockSplit) &
                 (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 2212-2224

consequent
-------------------------


( ! [V__AMOUNT,V__PERIOD] :
   (((s__instance(V__AMOUNT,s__CurrencyMeasure) &
         s__subclass(V__PERIOD,s__TimeInterval))
       =>
       (((s__currencyExchangePerUSDollar(V__AMOUNT,V__PERIOD)
           =>
           s__currencyExchangeRateInPeriod(s__UnitedStatesDollar,V__AMOUNT,V__PERIOD))
       &
       (s__currencyExchangeRateInPeriod(s__UnitedStatesDollar,V__AMOUNT,V__PERIOD)
       =>
       s__currencyExchangePerUSDollar(V__AMOUNT,V__PERIOD)))))
)
)

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
( ! [V__Date,V__Balance,V__Account,V__Overdraft] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Overdraft,s__RealNumber))
       =>
       (((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
           &
           s__lessThan(V__Balance,n__0)
         &
         (V__Overdraft = s__SubtractionFn(n__0,V__Balance)))
     =>
     (s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date)))))
)
)

FinancialOntology.kif 742-747
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((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(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__AGENT,V__CUST,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PHYS,s__Class))
       =>
       (((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(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 526-541
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__OBJ,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((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(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)

Hotel.kif 334-349
( ! [V__P,V__R,V__ROOM,V__S,V__PROC,V__GUEST,V__HOTEL] :
   (((s__instance(V__P,s__Process) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__S,s__Process) &
         s__instance(V__PROC,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((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__patient(V__P,V__GUEST)
&
(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(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)

Hotel.kif 351-365
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__N1,V__Time,V__N2,V__N3,V__TimeOfSplit,V__NewNumber,V__Stocks,V__TimeAfterSplit,V__Number] :
   (((s__instance(V__N1,s__Integer) &
         s__instance(V__Time,s__Agent) &
         s__instance(V__Time,s__TimeInterval) &
         s__instance(V__N2,s__Integer) &
         s__instance(V__N3,s__Number) &
         s__instance(V__TimeOfSplit,s__TimeInterval) &
         s__instance(V__NewNumber,s__RealNumber) &
         s__instance(V__Stocks,s__Physical) &
         s__instance(V__TimeAfterSplit,s__Agent) &
         s__instance(V__TimeAfterSplit,s__TimeInterval) &
         s__instance(V__Number,s__RealNumber))
       =>
       (((s__price(V__Stocks,s__MeasureFn(V__Number,s__UnitedStatesDollar),V__Time)
           &
           ( ? [V__Event] :
             ((s__instance(V__Event,s__StockSplit) &
                 (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 2212-2224