Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lecture

 Sigma KEE - Lecture
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 15872-15873
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 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

appearance as argument number 2
-------------------------


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
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners