No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20225-20225 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 372-372 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 137-137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 132-132 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 143-143 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 149-149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 147-147 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 146-146 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 141-141 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 148-148 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 139-139 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 145-145 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 140-140 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 134-134 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 133-133 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 142-142 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 144-144 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 138-138 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 136-136 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 135-135 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 150-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20224-20224 |
Cow e' uma sub-classe de Cattle |