No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20148-20148 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 666-666 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 148-148 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 128-128 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 130-130 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 131-131 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 126-126 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 129-129 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 127-127 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 125-125 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20147-20147 |
子類 豬 and HoofedMammal |