| (subclass Payment FinancialTransaction) | FinancialOntology.kif 403-403 | Payment is a subclass of financial transaction |
| (subclass Repayment Payment) | UXExperimentalTerms.kif 1864-1864 | Repayment is a subclass of payment |
| (subclass Prepayment Payment) | FinancialOntology.kif 830-830 | Prepayment is a subclass of payment |
| (subclass Dividend Payment) | FinancialOntology.kif 2074-2074 | Dividend is a subclass of payment |
| (subclass BankCardPayment Payment) | Dining.kif 429-429 | Bank card payment is a subclass of payment |
| (subclass CashPayment Payment) | Dining.kif 451-451 | Cash payment is a subclass of payment |
|
|