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 |
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. |
FinancialOntology.kif 830-830 |
Prepayment is a subclass of payment |
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. |
domainEnglishFormat.kif 44874-44874 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44873-44873 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44872-44872 |
|