No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17228-17234 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17240-17246 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17216-17222 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17204-17210 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24194-24205 |
|