Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3597-3598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3596-3596 Coin is a subclass of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2907-2907 Afghan afghani coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2909-2909 British pound coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2911-2911 Canadian dollar coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2913-2913 Euro cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2915-2915 Euro dollar coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2917-2917 French franc coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2919-2919 German mark coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2921-2921 Italian lira coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2923-2923 Japanese yen coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2925-2925 Tajik somoni coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2928-2928 United states cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2931-2931 United states five cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2937-2937 United states quarter coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2934-2934 United states ten cent coin is a subclass of coin
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18066-18066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18065-18065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18064-18064

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3585-3585 Currency is exhaustively partitioned into currency bill and coin

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


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

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


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


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