No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7866-7867 |
|
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 7863-7863 |
Christian bible is a subclass of book |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7864-7864 |
Christian bible subsumes the content of new testament |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7865-7865 |
Christian bible subsumes the content of old testament |