No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17161-17162 |
|
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 17163-17163 |
Stretching est une sous-classe de Lengthening |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17160-17160 |
Stretching est une sous-classe de d�palcement |