| 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 3590-3591 | |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3589-3589 | Coin is a subclass of currency |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 3578-3578 | 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 3593-3598 |
|
| 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 29758-29769 |
|
|
|
|