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 29462-29473 |
|