No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3344-3345 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6527-6527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6018-6018 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6528-6528 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6525-6525 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6530-6530 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6529-6529 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6526-6526 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3343-3343 |
调焦 是 量变 的 subclass |