No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21519-21520 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6046-6046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6042-6042 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6043-6043 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6047-6047 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6048-6048 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6044-6044 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21518-21518 |
Aborting is a subclass of removing |