Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DramaticDirecting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DramaticDirecting Guiding) | Mid-level-ontology.kif 20462-20462 | Dramatic directing is a subclass of guiding |
| (documentation DramaticDirecting EnglishLanguage "The process of directing a DramaticActing in a MotionPicture or the Performance of a DramaticPlay.") | Mid-level-ontology.kif 20463-20464 | Dramatic directing is a subclass of guiding |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DIRECT DramaticDirecting) (patient ?DIRECT ?ACT)) (instance ?ACT DramaticActing)) |
Mid-level-ontology.kif 20466-20470 | If X is an instance of dramatic directing and Y is a patient of X, then Y is an instance of dramatic acting |
| (=> (instance ?X DramaticDirecting) (exists (?D) (and (instance ?D Directing) (subProcess ?D ?X)))) |
Mid-level-ontology.kif 20472-20477 | If X is an instance of dramatic directing, then there exists Y such that Y is an instance of directing and Y is a subprocess of X |
|