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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CurrencyCoin
CurrencyCoin(currency 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
-------------------------


s__documentation(s__CurrencyCoin,s__EnglishLanguage,'"Any instance of Currency that is made of Metal."')

Mid-level-ontology.kif 3532-3533
s__instance(s__Currency,s__SetOrClass)

s__instance(s__CurrencyCoin,s__SetOrClass)

s__subclass(s__CurrencyCoin,s__Currency)

Mid-level-ontology.kif 3531-3531 Currency coin is a subclass of currency

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


s__instance(s__CurrencyCoin,s__SetOrClass)

s__subclass(s__AfghanAfghaniCoin,s__CurrencyCoin)

s__instance(s__AfghanAfghaniCoin,s__SetOrClass)

Economy.kif 2910-2910 Afghan afghani coin is a subclass of currency coin
s__instance(s__CurrencyCoin,s__SetOrClass)

s__instance(s__BritishPoundCoin,s__SetOrClass)

s__subclass(s__BritishPoundCoin,s__CurrencyCoin)

Economy.kif 2912-2912 British pound coin is a subclass of currency coin
s__instance(s__CurrencyCoin,s__SetOrClass)

s__subclass(s__CanadianDollarCoin,s__CurrencyCoin)

s__instance(s__CanadianDollarCoin,s__SetOrClass)

Economy.kif 2914-2914 Canadian dollar coin is a subclass of currency coin
s__instance(s__CurrencyCoin,s__SetOrClass)

s__instance(s__EuroCentCoin,s__SetOrClass)

s__subclass(s__EuroCentCoin,s__CurrencyCoin)

Economy.kif 2916-2916 Euro cent coin is a subclass of currency coin
s__subclass(s__EuroDollarCoin,s__CurrencyCoin)

s__instance(s__CurrencyCoin,s__SetOrClass)

s__instance(s__EuroDollarCoin,s__SetOrClass)

Economy.kif 2918-2918 Euro dollar coin is a subclass of currency coin
s__subclass(s__FrenchFrancCoin,s__CurrencyCoin)

s__instance(s__CurrencyCoin,s__SetOrClass)

s__instance(s__FrenchFrancCoin,s__SetOrClass)

Economy.kif 2920-2920 French franc coin is a subclass of currency coin
s__instance(s__CurrencyCoin,s__SetOrClass)

s__subclass(s__GermanMarkCoin,s__CurrencyCoin)

s__instance(s__GermanMarkCoin,s__SetOrClass)

Economy.kif 2922-2922 German mark coin is a subclass of currency coin
s__subclass(s__ItalianLiraCoin,s__CurrencyCoin)

s__instance(s__CurrencyCoin,s__SetOrClass)

s__instance(s__ItalianLiraCoin,s__SetOrClass)

Economy.kif 2924-2924 Italian lira coin is a subclass of currency coin
s__instance(s__CurrencyCoin,s__SetOrClass)

s__subclass(s__JapaneseYenCoin,s__CurrencyCoin)

s__instance(s__JapaneseYenCoin,s__SetOrClass)

Economy.kif 2926-2926 Japanese yen coin is a subclass of currency coin
s__subclass(s__TajikSomoniCoin,s__CurrencyCoin)

s__instance(s__TajikSomoniCoin,s__SetOrClass)

s__instance(s__CurrencyCoin,s__SetOrClass)

Economy.kif 2928-2928 Tajik somoni coin is a subclass of currency coin
s__instance(s__CurrencyCoin,s__SetOrClass)

s__instance(s__UnitedStatesCentCoin,s__SetOrClass)

s__subclass(s__UnitedStatesCentCoin,s__CurrencyCoin)

Economy.kif 2931-2931 United states cent coin is a subclass of currency coin
s__instance(s__UnitedStatesFiveCentCoin,s__SetOrClass)

s__instance(s__CurrencyCoin,s__SetOrClass)

s__subclass(s__UnitedStatesFiveCentCoin,s__CurrencyCoin)

Economy.kif 2934-2934 United states five cent coin is a subclass of currency coin
s__instance(s__CurrencyCoin,s__SetOrClass)

s__subclass(s__UnitedStatesQuarterCoin,s__CurrencyCoin)

s__instance(s__UnitedStatesQuarterCoin,s__SetOrClass)

Economy.kif 2940-2940 United states quarter coin is a subclass of currency coin
s__subclass(s__UnitedStatesTenCentCoin,s__CurrencyCoin)

s__instance(s__CurrencyCoin,s__SetOrClass)

s__instance(s__UnitedStatesTenCentCoin,s__SetOrClass)

Economy.kif 2937-2937 United states ten cent coin is a subclass of currency coin
s__termFormat(s__ChineseLanguage,s__CurrencyCoin,'"货币硬币"')

domainEnglishFormat.kif 18057-18057
s__termFormat(s__ChineseTraditionalLanguage,s__CurrencyCoin,'"貨幣硬幣"')

domainEnglishFormat.kif 18056-18056
s__termFormat(s__EnglishLanguage,s__CurrencyCoin,'"currency coin"')

domainEnglishFormat.kif 18055-18055

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


s__partition__3(s__Currency,s__CurrencyBill,s__CurrencyCoin)

Mid-level-ontology.kif 3520-3520 Currency is exhaustively partitioned into currency bill and currency coin

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


( ! [V__COIN] :
   ((s__instance(V__COIN,s__CurrencyCoin) =>
       (( ? [V__METAL] :
           ((s__subclass(V__METAL,s__Substance) &
               s__instance(V__METAL,s__Class) &
               (s__subclass(V__METAL,s__Metal) &
                 s__material(V__METAL,V__COIN)))))))
   )
)

Mid-level-ontology.kif 3535-3540

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28532-28543


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