Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DramaticCast(dramatic cast) |  | cast, cast_of_characters, dramatis_personae |
| appearance as argument number 1 |
|
|
| (subclass DramaticCast GroupOfPeople) | Mid-level-ontology.kif 17574-17574 | Dramatic cast is a subclass of group of people |
| (documentation DramaticCast EnglishLanguage "The GroupOfPeople who engage in DramaticActing as part of the realization of a single FictionalText.") | Mid-level-ontology.kif 17575-17576 | Dramatic cast is a subclass of group of people |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?CAST DramaticCast) (member ?MEMBER ?CAST)) (exists (?TEXT ?PROP ?PROC ?SUB) (and (instance ?TEXT FictionalText) (containsInformation ?TEXT ?PROP) (realization ?PROC ?PROP) (instance ?SUB DramaticActing) (agent ?SUB ?MEMBER) (subProcess ?SUB ?PROC)))) |
Mid-level-ontology.kif 17578-17589 | If X is an instance of dramatic cast and Y is a member of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of fictional text (3) Z contains information W (4) V expresses the content of W (5) U is an instance of dramatic acting (6) Y is an agent of U (7) U is a subprocess of V |
| (=> (and (instance ?GROUP DramaticCast) (holdsDuring ?T1 (member ?MEM ?GROUP))) (holdsDuring ?T1 (attribute ?MEM Actor))) |
Mid-level-ontology.kif 20751-20757 | If X is an instance of dramatic cast and Y is a member of X holds during Z, then actor is an attribute of Y holds during Z |
|