| (subclass Payment FinancialTransaction) | FinancialOntology.kif 403-403 | Payment は 金融取引 の subclass では %n |
| (subclass Repayment Payment) | UXExperimentalTerms.kif 1864-1864 | Repayment は Payment の subclass では %n |
| (subclass Prepayment Payment) | FinancialOntology.kif 830-830 | Prepayment は Payment の subclass では %n |
| (subclass Dividend Payment) | FinancialOntology.kif 2074-2074 | Dividend は Payment の subclass では %n |
| (subclass BankCardPayment Payment) | Dining.kif 429-429 | BankCardPayment は Payment の subclass では %n |
| (subclass CashPayment Payment) | Dining.kif 451-451 | CashPayment は Payment の subclass では %n |
|
|