No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2754-2766 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2768-2780 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2229-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2669-2685 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2623-2639 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2687-2703 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2641-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2540-2551 |
|