No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14911-14912 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2832-2832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2828-2828 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2690-2690 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2830-2830 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2827-2827 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2829-2829 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2833-2833 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14910-14910 |
历史记录 是 事实文本 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14909-14909 |
历史记录 是 叙述文本 的 subclass |