Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CurrencyCoin

 Sigma KEE - CurrencyCoin
CurrencyCoin(coin)Maundy_money, Susan_B_Anthony_dollar, bawbee, bezant, bezzant, byzant, cartwheel, cent, centime, change, coin, coinage, crown, 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, sou...

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


(subclass CurrencyCoin Currency) Mid-level-ontology.kif 4242-4242 Coin is a subclass of currency
(documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.") Mid-level-ontology.kif 4243-4244 Coin is a subclass of currency

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


(subclass AfghanAfghaniCoin CurrencyCoin) Economy.kif 3239-3239 Afghan afghani coin is a subclass of coin
(subclass BritishPoundCoin CurrencyCoin) Economy.kif 3241-3241 British pound coin is a subclass of coin
(subclass CanadianDollarCoin CurrencyCoin) Economy.kif 3243-3243 Canadian dollar coin is a subclass of coin
(subclass EuroCentCoin CurrencyCoin) Economy.kif 3245-3245 Euro cent coin is a subclass of coin
(subclass EuroDollarCoin CurrencyCoin) Economy.kif 3247-3247 Euro dollar coin is a subclass of coin
(subclass FrenchFrancCoin CurrencyCoin) Economy.kif 3249-3249 French franc coin is a subclass of coin
(subclass GermanMarkCoin CurrencyCoin) Economy.kif 3251-3251 German mark coin is a subclass of coin
(subclass ItalianLiraCoin CurrencyCoin) Economy.kif 3253-3253 Italian lira coin is a subclass of coin
(subclass JapaneseYenCoin CurrencyCoin) Economy.kif 3255-3255 Japanese yen coin is a subclass of coin
(subclass TajikSomoniCoin CurrencyCoin) Economy.kif 3257-3257 Tajik somoni coin is a subclass of coin
(subclass UnitedStatesCentCoin CurrencyCoin) Economy.kif 3260-3260 United states cent coin is a subclass of coin
(subclass UnitedStatesFiveCentCoin CurrencyCoin) Economy.kif 3263-3263 United states five cent coin is a subclass of coin
(subclass UnitedStatesTenCentCoin CurrencyCoin) Economy.kif 3266-3266 United states ten cent coin is a subclass of coin
(subclass UnitedStatesQuarterCoin CurrencyCoin) Economy.kif 3269-3269 United states quarter coin is a subclass of coin
(termFormat EnglishLanguage CurrencyCoin "coin") domainEnglishFormat.kif 18066-18066 United states quarter coin is a subclass of coin
(termFormat ChineseTraditionalLanguage CurrencyCoin "貨幣硬幣") domainEnglishFormat.kif 18067-18067 United states quarter coin is a subclass of coin
(termFormat ChineseLanguage CurrencyCoin "货币硬币") domainEnglishFormat.kif 18068-18068 United states quarter coin is a subclass of coin

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


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

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


(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))		 Mid-level-ontology.kif 4246-4251 If X is an instance of coin, then there exists Y such that Y is a subclass of metal and X is made of Y

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 32085-32096 If coin operated is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of coin (3) Z is an instance of financial transaction (4) Z ends up at X (5) Y is a patient of Z (6) Z originates at W (7) Z causes V (8) W wants V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners