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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Currency
Currency

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 15621-15622
(externalImage Currency "http://articulatesoftware.com/SUMOpictures/money/ cash.png") pictureList.kif 326-326
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Deutschemarknotes.png") pictureList.kif 3837-3837
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg") pictureList.kif 3840-3840
(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 3557-3557 Currency est compl�tement d�compos� en CurrencyBill + CurrencyCoin
(subclass Currency FinancialInstrument) Merge.kif 15620-15620 Currency est une sous-classe de FinancialInstrument

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


(subclass CurrencyBill Currency) Mid-level-ontology.kif 3556-3556 CurrencyBill est une sous-classe de Currency
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 3568-3568 CurrencyCoin est une sous-classe de Currency
(termFormat ChineseLanguage Currency "货币") domainEnglishFormat.kif 18048-18048
(termFormat ChineseTraditionalLanguage Currency "貨幣") domainEnglishFormat.kif 18047-18047
(termFormat EnglishLanguage Currency "currency") domainEnglishFormat.kif 18046-18046

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


(domainSubclass currencyValue 1 Currency) Economy.kif 3602-3602 Le nombre 1 argument de currencyValue est une sous-classe de 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 3838-3852
(=>
    (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 1958-1967
(=>
    (instance ?CURRENCY Currency)
    (exists (?MEASURE)
        (monetaryValue ?CURRENCY ?MEASURE)))
Merge.kif 15624-15627
(=>
    (instance ?Cash Currency)
    (exists (?Value)
        (monetaryValue ?Cash ?Value)))
FinancialOntology.kif 3481-3484

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


(=>
    (instance ?FUND Funding)
    (exists (?MONEY)
        (and
            (instance ?MONEY Currency)
            (patient ?FUND ?MONEY))))
Merge.kif 11672-11677
(=>
    (instance ?P CashPayment)
    (exists (?C)
        (and
            (instrument ?P ?C)
            (instance ?C Currency))))
Dining.kif 457-462
(=>
    (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 1946-1956
(=>
    (instance ?VM VendingMachine)
    (hasPurpose ?VM
        (exists (?H ?O ?V)
            (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 1931-1944


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 3.0 is open source software produced by Articulate Software and its partners