TreeView Knowledge Base Browser - DramaticPerformance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DramaticPerformance

Sigma KEE - DramaticPerformance

DramaticPerformance(dramatic performance)

burlesque, play_reading

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15954-15956
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1732-1732
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15953-15953	Dramatic performance is a subclass of performance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20334-20334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20333-20333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20332-20332

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18822-18828	If a process is an instance of dramatic performance and an agent is an agent of the process, then actor is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15957-15961	If a process is an instance of dramatic performance and another process is a subprocess of the process, then the other process is an instance of dramatic acting

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