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 1491-1495 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1567-1571 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1334-1343 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1291-1296 |
|