Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FilmMaking
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FilmMaking ContentDevelopment) | Mid-level-ontology.kif 22905-22905 | Film making is a subclass of content development |
| (documentation FilmMaking EnglishLanguage "ContentDevelopment where the result is a MotionPicture.") | Mid-level-ontology.kif 22906-22907 | Film making is a subclass of content development |
| (externalImage FilmMaking "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Fratelli_Lumiere.jpg") | pictureList.kif 8483-8483 | Film making is a subclass of content development |
| (externalImage FilmMaking "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ BolexH16.jpg") | pictureList.kif 9206-9206 | Film making is a subclass of content development |
| (externalImage FilmMaking "http://upload.wikimedia.org/wikipedia/en/2/26/ LouisLePrinceFirstFilmEver.png") | pictureList.kif 9208-9208 | Film making is a subclass of content development |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FM FilmMaking) (exists (?M ?F) (and (instance ?M MotionPicture) (result ?FM ?M) (instance ?F PhotographicFilm) (resource ?FM ?F)))) |
Mid-level-ontology.kif 22908-22915 | If X is an instance of film making, then there exist Y, Z such that Y is an instance of motion picture, Y is a result of X, Z is an instance of photographic film, and Z is a resource for X |
| (=> (and (produced ?P ?MOVIE) (instance ?FILMMAKING FilmMaking) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?P FilmProducer))) |
Mid-level-ontology.kif 22952-22958 | If X produces Y, Z is an instance of film making, and X is a result of Z, then film producer is an attribute of Y holds during the time of existence of Z |
| (=> (and (directed ?DIRECTOR ?MOVIE) (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?DIRECTOR FilmDirector))) |
Mid-level-ontology.kif 22976-22985 | If All of the following hold: (1) X directed Y (2) Z is an instance of film making (3) W is an instance of organization (4) X is a leader of W (5) W is an agent of Z (6) Y is a result of Z, then film director is an attribute of X holds during the time of existence of Z |
| consequent |
|
|
| (=> (and (instance ?P FilmMakingProfession) (attribute ?H ?P)) (occupation ?H (OccupationFn FilmMaking))) |
Mid-level-ontology.kif 22921-22925 | If X is an instance of film making profession and X is an attribute of Y, then the occupation of film making is an occupation of Y |
| (=> (directed ?DIRECTOR ?MOVIE) (exists (?FILMMAKING ?FILMCREW) (and (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)))) |
Mid-level-ontology.kif 22966-22974 | If X directed Y, then there exist Z, W such that Z is an instance of film making, W is an instance of organization, X is a leader of W, W is an agent of Z, and Y is a result of Z |
| statement |
|
|
| (exists (?FM) (and (instance ?FM FilmMaking) (agent ?FM Netflix))) |
Medicine.kif 4587-4590 | There exists X such that X is an instance of film making and Netflix Corp. is an agent of X |
|
