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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyCoin

Sigma KEE - CurrencyCoin
CurrencyCoin(currency coin)Maundy_money, Susan_B_Anthony_dollar, bawbee, bezant, bezzant, byzant, cartwheel, cent, centime, change, coin, coinage, crown, currency_coin, denier, dollar, double_eagle, doubloon, ducat, eagle, eightpence, farthing, fiat_money, fifty-cent_piece, fivepence, fourpence, groat, guinea, ha'penny, half_crown, half_dollar, half_eagle, halfpenny, louis_d'or, medallion, metal_money, mintage, new_penny, ninepence, obverse, penny, piece_of_eight, quarter, real, reverse, shilling, silver_dollar, sixpence, slug, solidus...

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


(documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.") Mid-level-ontology.kif 4132-4133
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 4131-4131 Currency coin is a subclass of currency

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


(subclass AfghanAfghaniCoin CurrencyCoin) Economy.kif 2910-2910 Afghan afghani coin is a subclass of currency coin
(subclass BritishPoundCoin CurrencyCoin) Economy.kif 2912-2912 British pound coin is a subclass of currency coin
(subclass CanadianDollarCoin CurrencyCoin) Economy.kif 2914-2914 Canadian dollar coin is a subclass of currency coin
(subclass EuroCentCoin CurrencyCoin) Economy.kif 2916-2916 Euro cent coin is a subclass of currency coin
(subclass EuroCoin CurrencyCoin) Economy.kif 2918-2918 EuroCoin is a subclass of currency coin
(subclass FrenchFrancCoin CurrencyCoin) Economy.kif 2920-2920 French franc coin is a subclass of currency coin
(subclass GermanMarkCoin CurrencyCoin) Economy.kif 2922-2922 German mark coin is a subclass of currency coin
(subclass ItalianLiraCoin CurrencyCoin) Economy.kif 2924-2924 Italian lira coin is a subclass of currency coin
(subclass JapaneseYenCoin CurrencyCoin) Economy.kif 2926-2926 Japanese yen coin is a subclass of currency coin
(subclass TajikSomoniCoin CurrencyCoin) Economy.kif 2928-2928 Tajik somoni coin is a subclass of currency coin
(subclass UnitedStatesCentCoin CurrencyCoin) Economy.kif 2931-2931 United states cent coin is a subclass of currency coin
(subclass UnitedStatesFiveCentCoin CurrencyCoin) Economy.kif 2934-2934 United states five cent coin is a subclass of currency coin
(subclass UnitedStatesQuarterCoin CurrencyCoin) Economy.kif 2940-2940 United states quarter coin is a subclass of currency coin
(subclass UnitedStatesTenCentCoin CurrencyCoin) Economy.kif 2937-2937 United states ten cent coin is a subclass of currency coin
(termFormat EnglishLanguage CurrencyCoin "currency coin") domainEnglishFormat.kif 3432-3432 "currency coin" is the printable form of currency coin in english language

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


(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 4120-4120 Currency is exhaustively partitioned into currency bill and currency coin

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


(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 4135-4140

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


(=>
    (attribute ?M CoinOperated)
    (hasPurpose ?M
        (exists (?C ?FT ?A ?ACT)
            (and
                (instance ?C CurrencyCoin)
                (instance ?FT FinancialTransaction)
                (destination ?FT ?M)
                (patient ?FT ?C)
                (origin ?FT ?A)
                (causes ?FT ?ACT)
                (wants ?A ?ACT)))))
Mid-level-ontology.kif 27644-27655


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners