(subclass Currency FinancialInstrument) | Merge.kif 15650-15650 | Currency は FinancialInstrument の subclass では %n |
(subclass CurrencyBill Currency) | Mid-level-ontology.kif 3584-3584 | CurrencyBill は Currency の subclass では %n |
(subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3596-3596 | CurrencyCoin は Currency の subclass では %n |