| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | Payment e' uma sub-classe de Transacao Financeira |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1864-1864 | Repayment e' uma sub-classe de Payment |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 830-830 | Prepayment e' uma sub-classe de Payment |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2074-2074 | Dividend e' uma sub-classe de Payment |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 429-429 | BankCardPayment e' uma sub-classe de Payment |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 451-451 | CashPayment e' uma sub-classe de Payment |
|
|