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 国家官方货币的任何元素。这包括 CurrencyBill 和 CurrencyCoin。") 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 15801-15802
(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 3836-3836
(externalImage Currency "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg") pictureList.kif 3839-3839
(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 4028-4028 Currency は CurrencyBill + CurrencyCoin に exhaustively partitioned
(subclass Currency FinancialInstrument) Merge.kif 15800-15800 Currency は FinancialInstrument の subclass では

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


(subclass CurrencyBill Currency) Mid-level-ontology.kif 4027-4027 CurrencyBill は Currency の subclass では
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 4039-4039 CurrencyCoin は Currency の subclass では
(termFormat ChineseLanguage Currency "货币") domainEnglishFormat.kif 18057-18057 CurrencyCoin は Currency の subclass では
(termFormat ChineseTraditionalLanguage Currency "貨幣") domainEnglishFormat.kif 18056-18056 CurrencyCoin は Currency の subclass では
(termFormat EnglishLanguage Currency "currency") domainEnglishFormat.kif 18055-18055 CurrencyCoin は Currency の subclass では

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


(domainSubclass currencyValue 1 Currency) Economy.kif 3939-3939 currencyValue の数値 1 引数は Currency のsubclass では

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 3856-3870
(=>
    (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 2449-2458
(=>
    (instance ?CURRENCY Currency)
    (exists (?MEASURE)
        (monetaryValue ?CURRENCY ?MEASURE)))		 Merge.kif 15804-15807
(=>
    (instance ?Cash Currency)
    (exists (?Value)
        (monetaryValue ?Cash ?Value)))		 FinancialOntology.kif 3499-3502

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


(=>
    (and
        (instance ?CG CapitalMeanOfProduction)
        (attribute ?CGO ?CG))
    (exists (?M ?A ?MONEY ?AGENT ?PROPERTYITEM)
        (or
            (and
                (instance ?MONEY Currency)
                (equal ?CGO ?MONEY))
            (and
                (element ?PROPERTYITEM
                    (PropertyFn ?AGENT))
                (equal ?PROPERTYITEM ?CGO))
            (and
                (instance ?A Artifact)
                (equal ?CGO ?A)))))		 Economy.kif 6116-6130
(=>
    (instance ?FUND Funding)
    (exists (?MONEY)
        (and
            (instance ?MONEY Currency)
            (patient ?FUND ?MONEY))))		 Merge.kif 11852-11857
(=>
    (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 2437-2447
(=>
    (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 2422-2435


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