No TPTP formula. May not be expressible in strict first order. |
Economy.kif 490-497 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 130-137 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2669-2685 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2623-2639 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2687-2703 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2641-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8132-8134 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8521-8523 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8490-8492 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7947-7952 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8504-8506 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8486-8488 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8517-8519 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8535-8537 |
|