| 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 |
|
|
| (documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.") | Mid-level-ontology.kif 3663-3664 | |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3662-3662 | Coin is a subclass of currency |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 3651-3651 | 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 3666-3671 |
|
| 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 30589-30600 |
|
|
|
|