No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 642-646 |
A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3933-3939 |
There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13863-13868 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2894-2910 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2930-2946 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2867-2883 |
|
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 2347-2369 |
|
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 4175-4179 |
|