No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20216-20216 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 300-300 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 153-153 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 151-151 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 155-155 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 154-154 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 152-152 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20215-20215 |
公牛 是 牛 的 subclass |