No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14491-14493 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3226-3226 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3227-3227 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3007-3007 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14489-14489 |
测试表格 是 表格文字 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14490-14490 |
测试表格 是 测量工具 的 subclass |