TreeView Knowledge Base Browser - DramaticDirecting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DramaticDirecting

Sigma KEE - DramaticDirecting

DramaticDirecting(dramatic directing)

direct, stage_direct

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18544-18545
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18543-18543	Dramatic directing is a subclass of guiding

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20328-20328
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20327-20327
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20326-20326

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18547-18551	If a process is an instance of dramatic directing and an entity is a patient of the process, then the entity is an instance of dramatic acting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18553-18558	If a process is an instance of dramatic directing, then there exists another process such that the other process is an instance of directing and the other process is a subprocess of the process

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