No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19889-19890 |
|
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 19887-19887 |
Lying down is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19888-19888 |
Lying down is a subclass of motion downward |