No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21142-21143 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7288-7288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7289-7289 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7290-7290 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7291-7291 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7285-7285 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7292-7292 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7293-7293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7294-7294 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7286-7286 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7287-7287 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7295-7295 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7296-7296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7297-7297 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21141-21141 |
数学 是 研究领域 的 subclass |