No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8958-8959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10013-10013 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10989-10989 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10990-10990 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10991-10991 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31405-31405 |
roomTempState 掉出来 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8957-8957 |
掉出来 是 粉末 的 subclass |