No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1617-1618 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8685-8685 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9596-9596 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9597-9597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9598-9598 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9599-9599 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9600-9600 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9601-9601 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1616-1616 |
左轮手枪 是 手枪 的 subclass |