No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17133-17134 |
|
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 17135-17135 |
子類 拉伸 and 延長 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17132-17132 |
子類 拉伸 and Motion |