| Lecture(lecture)
| | Gettysburg_Address, address, allocution, call, lecture, memorialise, memorialize, public_lecture, speak, speech, talk, turn_to |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15873-15874 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6667-6667 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7182-7182 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7183-7183 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7184-7184 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | Lecture is a subclass of demonstrating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15872-15872 | Lecture is a subclass of speaking |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15876-15876 | Proclaiming is a subclass of lecture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15939-15939 | Sermon is a subclass of lecture |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33743-33743 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33742-33742 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33741-33741 |
|
|
|