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 is a subclass of lengthening |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17160-17160 |
Stretching is a subclass of motion |