No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7880-7882 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2878-2878 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2714-2714 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7878-7878 |
NewTestament est une sous-classe de livre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7879-7879 |
NewTestament classe le contenu de ChristianGospel |