No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4139-4140 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 387-387 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 418-418 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4138-4138 |
Desk e' uma sub-classe de Table |