No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 466-467 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2862-2862 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2863-2863 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2706-2706 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2861-2861 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 465-465 |
Mounting is a subclass of body motion |