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 1615-1624 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1596-1601 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 636-640 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 538-548 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 587-597 |
|