Lecture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Lecture

Lecture

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15900-15901
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 15898-15898	Lecture est une sous-classe de Demonstrating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15899-15899	Lecture est une sous-classe de Speaking

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15903-15903	Proclaiming est une sous-classe de Lecture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15966-15966	Sermon est une sous-classe de 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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