| 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 4059-4060 | |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 4058-4058 | Coin is a subclass of currency |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 4047-4047 | 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 4062-4067 |
|
| 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 31152-31163 |
|
|
|
|