Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AlphaNumericString
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DramaticPerformance Performance) | Mid-level-ontology.kif 17564-17564 | Dramatic performance is a subclass of performance |
| (documentation DramaticPerformance EnglishLanguage "A Performance that consists exclusively of DramaticActing, e.g. a live performance of Death-of-a-Salesman in front of an audience.") | Mid-level-ontology.kif 17565-17567 | Dramatic performance is a subclass of performance |
| (externalImage DramaticPerformance "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Isadora_duncan.jpg") | pictureList.kif 1731-1731 | Dramatic performance is a subclass of performance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P DramaticPerformance) (subProcess ?A ?P)) (instance ?A DramaticActing)) |
Mid-level-ontology.kif 17568-17572 | If X is an instance of dramatic performance and Y is a subprocess of X, then Y is an instance of dramatic acting |
| (=> (and (instance ?P DramaticPerformance) (agent ?P ?A)) (holdsDuring (WhenFn ?P) (attribute ?A Actor))) |
Mid-level-ontology.kif 20759-20765 | If X is an instance of dramatic performance and Y is an agent of X, then actor is an attribute of Y holds during the time of existence of X |
|
