No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2262-2263 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 362-362 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1515-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2261-2261 |
罗盘 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2260-2260 |
罗盘 是 设备 的 subclass |