No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20279-20280 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 952-952 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 41-41 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 39-39 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 42-42 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 40-40 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20278-20278 |
Goose e' uma sub-classe de Poultry |