No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17133-17134 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6902-6902 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7998-7998 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17135-17135 |
Stretching e' uma sub-classe de Lengthening |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17132-17132 |
Stretching e' uma sub-classe de Movimento |