Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Actor(actor) |  | actor, barnstormer, film_star, histrion, mime, mimer, mimic, mimicker, movie_star, mummer, pantomimer, pantomimist, play-actor, playactor, player, puppeteer, role_player, thespian, trouper |
| appearance as argument number 1 |
|
|
| (instance Actor EntertainmentProfession) | Mid-level-ontology.kif 20741-20741 | Actor is an instance of entertainment profession |
| (documentation Actor EnglishLanguage "A SkilledOccupation describing a theatrical Performer, someone with expertise on DramaticActing.") | Mid-level-ontology.kif 20742-20743 | Actor is an instance of entertainment profession |
| (subAttribute Actor Performer) | Mid-level-ontology.kif 20745-20745 | Actor is a subattribute of performer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Actor) (hasSkill DramaticActing ?PERSON)) |
Mid-level-ontology.kif 20747-20749 | If actor is an attribute of X, then X has the skill to do dramatic acting |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 23002-23009 | If X acted in Y., Z is an instance of dramatic acting, X is a patient of Z, and Y is a result of Z, then actor is an attribute of X holds during the time of existence of Z |
|