No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 137-146 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 155-166 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 104-118 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 120-135 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 375-380 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 368-373 |
|