No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15870-15870 | Lecture is a subclass of demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | Lecture is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15875-15875 | Proclaiming is a subclass of lecture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15938-15938 | Sermon is a subclass of lecture |