UnitedStatesDollar |
appearance as argument number 1 |
(documentation UnitedStatesDollar ChineseLanguage "这是一种货币单位。") | chinese_format.kif 2619-2619 | |
(documentation UnitedStatesDollar EnglishLanguage "A currency measure.") | Merge.kif 7385-7385 | |
(documentation UnitedStatesDollar JapaneseLanguage "通貨メジャー。") | japanese_format.kif 1333-1333 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ United_States_one_dollar_bill%2C_obverse.jpg") | pictureList.kif 4419-4419 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ f/ f3/ Series2004NoteFront_50.jpg") | pictureList.kif 4418-4418 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ en/ 5/ 5f/ Usdollar100.jpg") | pictureList.kif 4417-4417 | |
(instance UnitedStatesDollar UnitOfCurrency) | Merge.kif 7384-7384 |
appearance as argument number 2 |
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) | Economy.kif 2941-2941 | |
(termFormat ChineseLanguage UnitedStatesDollar "美国美元") | domainEnglishFormat.kif 60382-60382 | |
(termFormat ChineseTraditionalLanguage UnitedStatesDollar "美國美元") | domainEnglishFormat.kif 60381-60381 | |
(termFormat EnglishLanguage UnitedStatesDollar "united states dollar") | domainEnglishFormat.kif 60380-60380 |
appearance as argument number 3 |
(codeMapping ISO-4217-A "USD" UnitedStatesDollar) | Media.kif 2311-2311 |
antecedent |
(=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 783-788 | |
(=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5)) |
FinancialOntology.kif 2208-2212 |
consequent |
(<=> (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD)) |
Economy.kif 3648-3650 | |
(<=> (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3661-3666 | |
(=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 783-788 | |
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 841-862 | |
(=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 546-561 | |
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 | |
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 364-378 | |
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA LowIncomeCountry))) (exists (?AMOUNT) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (lessThan ?AMOUNT 756.0)))) |
Economy.kif 440-447 | |
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA LowerMiddleIncomeCountry))) (exists (?AMOUNT) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (greaterThanOrEqualTo ?AMOUNT 756.0)))) |
Economy.kif 456-463 | |
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA LowerMiddleIncomeCountry))) (exists (?AMOUNT) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (lessThan ?AMOUNT 2996.0)))) |
Economy.kif 465-472 | |
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA UpperMiddleIncomeCountry))) (exists (?AMOUNT) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (greaterThanOrEqualTo ?AMOUNT 2996.0)))) |
Economy.kif 481-488 | |
(=> (and (instance ?YEAR TimeInterval) (holdsDuring ?YEAR (economyType ?AREA UpperMiddleIncomeCountry))) (exists (?AMOUNT) (and (perCapitaGDPInPeriod ?AREA (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR) (lessThan ?AMOUNT 9267.0)))) |
Economy.kif 490-497 |
statement |
(equal (MeasureFn ?NUMBER UnitedStatesCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar)) |
Merge.kif 7392-7394 |