Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  UnitedStatesDollar

 Sigma KEE - UnitedStatesDollar
UnitedStatesDollar(united states dollar)

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


(instance UnitedStatesDollar UnitOfCurrency) Merge.kif 7521-7521 United states dollar is an instance of unit of currency
(documentation UnitedStatesDollar EnglishLanguage "A currency measure.") Merge.kif 7522-7522 United states dollar is an instance of unit of currency
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ en/ 5/ 5f/ Usdollar100.jpg") pictureList.kif 4416-4416 United states dollar is an instance of unit of currency
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ f/ f3/ Series2004NoteFront_50.jpg") pictureList.kif 4417-4417 United states dollar is an instance of unit of currency
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ United_States_one_dollar_bill%2C_obverse.jpg") pictureList.kif 4418-4418 United states dollar is an instance of unit of currency

appearance as argument number 2
-------------------------


(currencyValue UnitedStatesDollarBill UnitedStatesDollar) Economy.kif 3273-3273 United states dollar is a currency value of united states dollar bill
(termFormat EnglishLanguage UnitedStatesDollar "united states dollar") domainEnglishFormat.kif 60365-60365 United states dollar is a currency value of united states dollar bill
(termFormat ChineseTraditionalLanguage UnitedStatesDollar "美國美元") domainEnglishFormat.kif 60366-60366 United states dollar is a currency value of united states dollar bill
(termFormat ChineseLanguage UnitedStatesDollar "美国美元") domainEnglishFormat.kif 60367-60367 United states dollar is a currency value of united states dollar bill

appearance as argument number 3
-------------------------


(codeMapping ISO_4217_A "USD" UnitedStatesDollar) Media.kif 2258-2258 "USD" in ISO_4217_A denotes united states dollar

antecedent
-------------------------


(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))		 FinancialOntology.kif 805-810 If X current account balance Y for Z united states dollar(s), Z is less than 0, and equal W and (0 and Z), then X is overdraft W united states dollar(s) for Y
(=>
    (and
        (instance ?Stock PennyStock)
        (askPrice ?Stock
            (MeasureFn ?Price UnitedStatesDollar) ?Date))
    (lessThan ?Price 5))		 FinancialOntology.kif 2249-2253 If X is an instance of penny stock and Y asks for Z united states dollar(s) for X, then Z is less than 5

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


(=>
    (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 If X is an instance of timeframe and low income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 756.0
(=>
    (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 If X is an instance of timeframe and lower middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 756.0
(=>
    (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 If X is an instance of timeframe and lower middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 2996.0
(=>
    (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 If X is an instance of timeframe and upper middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is greater than or equal to 2996.0
(=>
    (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 If X is an instance of timeframe and upper middle income country is an economy type of Y holds during X, then there exists Z such that Y is per capitaGDP in period Z united states dollar(s) for X and Z is less than 9267.0
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))		 Economy.kif 3980-3982 X is a currency exchange per US dollar of Y if and only if united states dollar currency exchange rate in period Y for X
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))		 Economy.kif 3993-3998 X is a currency exchange per US dollar of Y if, only if there exists Z such that Z is an instance of X, and Y is a currency exchange rate of united states dollar holds during Z
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))		 FinancialOntology.kif 805-810 If X current account balance Y for Z united states dollar(s), Z is less than 0, and equal W and (0 and Z), then X is overdraft W united states dollar(s) for Y
(=>
    (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 If All of the following hold: (1) use of X is free for Y (2) X is a subclass of object (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of X (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) U is a patient of T (2) U is an instrument for T (3) U is a resource for T, then U is price 0 united states dollar(s) for W
(=>
    (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 If All of the following hold: (1) use of X is free for Y (2) X is a subclass of process (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of X or T is an instance of X and U is a subprocess of T (8) U is located at Z, then U is price 0.0 united states dollar(s) for W
(=>
    (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 548-563 If use of X is free for Y, Z is an instance of X, Y is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or Y possesses Z, Z is an instance of object, and W uses Z, then Z is price 0 united states dollar(s) for Y
(=>
    (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 847-868 If All of the following hold: (1) X is free for customers renting Y (2) Z is an instance of Y (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of X (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then T is price 0 united states dollar(s) for W