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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesDollar

 Sigma KEE - UnitedStatesDollar
UnitedStatesDollar(united states dollar)

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


(documentation UnitedStatesDollar ChineseLanguage "这是一种货币单位。") chinese_format.kif 2619-2619
(documentation UnitedStatesDollar EnglishLanguage "A currency measure.") Merge.kif 7370-7370
(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 4420-4420
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ f/ f3/ Series2004NoteFront_50.jpg") pictureList.kif 4419-4419
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ en/ 5/ 5f/ Usdollar100.jpg") pictureList.kif 4418-4418
(instance UnitedStatesDollar UnitOfCurrency) Merge.kif 7369-7369 United states dollar is an instance of unit of currency

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


(currencyValue UnitedStatesDollarBill UnitedStatesDollar) Economy.kif 2957-2957 United states dollar is a currency value of united states dollar bill
(termFormat ChineseLanguage UnitedStatesDollar "美国美元") domainEnglishFormat.kif 60389-60389
(termFormat ChineseTraditionalLanguage UnitedStatesDollar "美國美元") domainEnglishFormat.kif 60388-60388
(termFormat EnglishLanguage UnitedStatesDollar "united states dollar") domainEnglishFormat.kif 60387-60387

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


(codeMapping ISO-4217-A "USD" UnitedStatesDollar) Media.kif 2311-2311 "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 783-788
(=>
    (and
        (instance ?Stock PennyStock)
        (askPrice ?Stock
            (MeasureFn ?Price UnitedStatesDollar) ?Date))
    (lessThan ?Price 5))		 FinancialOntology.kif 2222-2226
(=>
    (and
        (price ?Stocks
            (MeasureFn ?Number UnitedStatesDollar) ?Time)
        (exists (?Event)
            (and
                (splitFor ?Event ?N1 ?N2)
                (equal
                    (WhenFn ?Event) ?TimeOfSplit))))
    (exists (?N3 ?NewNumber ?TimeAfterSplit)
        (and
            (equal ?N3
                (MultiplicationFn ?Number ?N1))
            (equal ?NewNumber
                (DivisionFn ?N3 ?N2))
            (price ?Stocks
                (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)
            (meetsTemporally ?Time ?TimeOfSplit)
            (meetsTemporally ?TimeOfSplit ?TimeAfterSplit))))		 FinancialOntology.kif 2255-2268

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))		 Economy.kif 3664-3666 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
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))		 Economy.kif 3677-3682 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
(=>
    (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
(=>
    (and
        (price ?Stocks
            (MeasureFn ?Number UnitedStatesDollar) ?Time)
        (exists (?Event)
            (and
                (splitFor ?Event ?N1 ?N2)
                (equal
                    (WhenFn ?Event) ?TimeOfSplit))))
    (exists (?N3 ?NewNumber ?TimeAfterSplit)
        (and
            (equal ?N3
                (MultiplicationFn ?Number ?N1))
            (equal ?NewNumber
                (DivisionFn ?N3 ?N2))
            (price ?Stocks
                (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)
            (meetsTemporally ?Time ?TimeOfSplit)
            (meetsTemporally ?TimeOfSplit ?TimeAfterSplit))))		 FinancialOntology.kif 2255-2268