| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | Payment is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2073-2073 | Repayment is a subclass of payment |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 829-829 | Prepayment is a subclass of payment |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2083-2083 | Dividend is a subclass of payment |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 402-402 | Bank card payment is a subclass of payment |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 423-423 | Cash payment is a subclass of payment |
|
|