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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14379-14380
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Deutschemarknotes.png") pictureList.kif 3838-3838 "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Deutschemarknotes.png" is a URL depicting currency
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg") pictureList.kif 3841-3841 "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Assorted_United_States_coins.jpg" is a URL depicting currency
(externalImage Currency "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ money/ cash.png") pictureList.kif 326-326 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ money/ cash.png" is a URL depicting currency
(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 4116-4116 Currency is exhaustively partitioned into currency bill and currency coin
(subclass Currency FinancialInstrument) Merge.kif 14378-14378 Currency is a subclass of financial instrument

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


(subclass CurrencyBill Currency) Mid-level-ontology.kif 4115-4115 Currency bill is a subclass of currency
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 4127-4127 Currency coin is a subclass of currency
(termFormat ChineseLanguage Currency "货币") domainEnglishFormat.kif 17977-17977 "货币" is the printable form of currency in ChineseLanguage
(termFormat ChineseTraditionalLanguage Currency "貨幣") domainEnglishFormat.kif 17976-17976 "貨幣" is the printable form of currency in ChineseTraditionalLanguage
(termFormat EnglishLanguage Currency "currency") domainEnglishFormat.kif 17975-17975 "currency" is the printable form of currency in english language

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


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

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


(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction ?Amount1)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3681-3692
(=>
    (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 2441-2450
(=>
    (instance ?CURRENCY Currency)
    (exists (?MEASURE)
        (monetaryValue ?CURRENCY ?MEASURE)))
Merge.kif 14382-14385
(=>
    (instance ?Cash Currency)
    (exists (?Value)
        (monetaryValue ?Cash ?Value)))
FinancialOntology.kif 3377-3380

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


(=>
    (instance ?FUND Funding)
    (exists (?MONEY)
        (and
            (instance ?MONEY Currency)
            (patient ?FUND ?MONEY))))
Merge.kif 10801-10806
(=>
    (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 2429-2439
(=>
    (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 2414-2427


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners