No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19233-19234 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5965-5965 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6384-6384 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6386-6386 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6387-6387 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6388-6388 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6389-6389 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6390-6390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6391-6391 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6392-6392 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6393-6393 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6394-6394 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6395-6395 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6396-6396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6397-6397 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6398-6398 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19232-19232 |
楼下 是 位置属性 的 instance |