No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1240-1249 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1289-1298 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2350-2372 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1631-1640 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1612-1617 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 638-642 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 540-550 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 589-599 |
|