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