No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3490-3495 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1063-1065 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1071-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2440-2442 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2418-2420 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2204-2206 |
|