No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23109-23110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6045-6045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6041-6041 |
|
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 6046-6046 |
|
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 6043-6043 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23108-23108 |
Aborting is a subclass of removing |