No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 545-546 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2835-2835 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2695-2695 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2836-2836 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1150-1150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 543-543 |
Jumping e' uma sub-classe de Movimento do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 544-544 |
Jumping e' uma sub-classe de MotionUpward |