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 1864-1864 | Repayment is a subclass of payment |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 830-830 | Prepayment is a subclass of payment |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2074-2074 | Dividend is a subclass of payment |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 429-429 | Bank card payment is a subclass of payment |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 451-451 | Cash payment is a subclass of payment |