No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14991-14991 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7480-7480 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7475-7475 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7467-7467 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7468-7468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7479-7479 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7477-7477 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7469-7469 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7470-7470 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7471-7471 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7476-7476 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7478-7478 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7472-7472 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6744-6744 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7473-7473 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7474-7474 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14990-14990 |
Opera is a subclass of dramatic play |