| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15870-15870 | Lecture est une sous-classe de Demonstrating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | Lecture est une sous-classe de Speaking |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15875-15875 | Proclaiming est une sous-classe de Lecture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15938-15938 | Sermon est une sous-classe de Lecture |
|
|