No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4146-4147 |
|
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 4145-4145 |
Desk is a subclass of table |