No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 642-646 |
agreementPeriod FinancialAccount and interval temporel jour finit interval temporel maturityDate FinancialAccount and jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3920-3926 |
Interval temporel Loan est une instance de Loan agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel loanInterest Loan and Interest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14016-14021 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1261-1271 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1224-1233 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1273-1282 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1497-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1615-1624 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4162-4166 |
|