No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7898-7900 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2783-2783 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2656-2656 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2787-2787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2788-2788 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2786-2786 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2782-2782 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2784-2784 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2785-2785 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7897-7897 |
ChristianGospel e' uma sub-classe de Texto |