No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3159-3160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11012-11012 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11009-11009 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11008-11008 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11010-11010 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11011-11011 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11007-11007 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10020-10020 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3158-3158 |
Folding is a subclass of shape change |