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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Currency

Sigma KEE - Currency
Currency(currency)
cash, currency, hard_cash, hard_currency, money, peag, wampum, wampumpeag

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


(documentation Currency ChineseLanguage "这是某些 Nation 国家官方货币的任何元素。这包括 CurrencyBillCurrencyCoin。") chinese_format.kif 3573-3574
(documentation Currency EnglishLanguage "Any element of the official currency of some Nation. This covers both CurrencyBills and CurrencyCoins.") Merge.kif 15376-15377
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Deutschemarknotes.png") pictureList.kif 3838-3838
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg") pictureList.kif 3841-3841
(externalImage Currency "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ money/ cash.png") pictureList.kif 326-326
(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 3537-3537 Currency is exhaustively partitioned into currency bill and currency coin
(subclass Currency FinancialInstrument) Merge.kif 15375-15375 Currency is a subclass of financial instrument

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


(subclass CurrencyBill Currency) Mid-level-ontology.kif 3536-3536 Currency bill is a subclass of currency
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 3548-3548 Currency coin is a subclass of currency
(termFormat ChineseLanguage Currency "货币") domainEnglishFormat.kif 18039-18039
(termFormat ChineseTraditionalLanguage Currency "貨幣") domainEnglishFormat.kif 18038-18038
(termFormat EnglishLanguage Currency "currency") domainEnglishFormat.kif 18037-18037

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


(domainSubclass currencyValue 1 Currency) Economy.kif 3612-3612 The number 1 argument of currency value is a subclass of currency

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


(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3790-3804
(=>
    (and
        (instance ?V Vending)
        (objectTransferred ?V ?O)
        (not
            (instance ?O Currency)))
    (modalAttribute
        (or
            (instance ?O
                (FoodForFn Human))
            (instance ?O Beverage)) Likely))
Mid-level-ontology.kif 1941-1950
(=>
    (instance ?CURRENCY Currency)
    (exists (?MEASURE)
        (monetaryValue ?CURRENCY ?MEASURE)))
Merge.kif 15379-15382
(=>
    (instance ?Cash Currency)
    (exists (?Value)
        (monetaryValue ?Cash ?Value)))
FinancialOntology.kif 3485-3488

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


(=>
    (instance ?FUND Funding)
    (exists (?MONEY)
        (and
            (instance ?MONEY Currency)
            (patient ?FUND ?MONEY))))
Merge.kif 11535-11540
(=>
    (instance ?P CashPayment)
    (and
        (instrument ?P ?C)
        (instance ?C Currency)))
Dining.kif 429-433
(=>
    (instance ?VD VendingMachine)
    (hasPurpose ?VD
        (exists (?T ?C ?P)
            (and
                (instance ?T FinancialTransaction)
                (instrument ?T ?VD)
                (patient ?T ?C)
                (instance ?C Currency)
                (patient ?T ?P)
                (instance ?P Product)))))
Mid-level-ontology.kif 1929-1939
(=>
    (instance ?VM VendingMachine)
    (hasPurpose ?VM
        (exists (?H ?O)
            (and
                (instance ?V Vending)
                (instance ?H Human)
                (instance ?O Object)
                (objectTransferred ?V ?O)
                (instrument ?V ?VM)
                (origin ?V ?VM)
                (not
                    (instance ?O Currency))
                (destination ?V ?H)))))
Mid-level-ontology.kif 1914-1927


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners