No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19861-19862 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2851-2851 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2852-2852 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1163-1163 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19859-19859 |
LyingDown e' uma sub-classe de Movimento do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19860-19860 |
LyingDown e' uma sub-classe de MotionDownward |