No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 722-726 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 783-788 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 701-714 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2489-2494 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 436-453 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 408-424 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 466-481 |
|