No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3723-3724 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 335-335 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 416-416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 62-62 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 415-415 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 414-414 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3722-3722 |
Chair est une sous-classe de Seat |