No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 139-148 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 157-168 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 106-120 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 122-137 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 377-382 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 370-375 |
|