No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5269-5270 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7881-7881 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7880-7880 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7879-7879 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6864-6864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7878-7878 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5271-5271 |
袖 是 对于 臂 的 covering 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5268-5268 |
袖 是 服装 的 subclass |