No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7908-7910 |
|
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 7906-7906 |
NewTestament est une sous-classe de livre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7907-7907 |
NewTestament classe le contenu de ChristianGospel |