No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7894-7895 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2780-2780 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2781-2781 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7891-7891 |
ChristianBible e' uma sub-classe de Livro |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7892-7892 |
ChristianBible subsume o conteudo de NewTestament |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7893-7893 |
ChristianBible subsume o conteudo de OldTestament |