Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FilmMaking
FilmMaking

appearance as argument number 1
-------------------------


(documentation FilmMaking EnglishLanguage "ContentDevelopment where the result is a MotionPicture.") Mid-level-ontology.kif 22281-22282
(externalImage FilmMaking "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Fratelli_Lumiere.jpg") pictureList.kif 8483-8483
(externalImage FilmMaking "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ BolexH16.jpg") pictureList.kif 9206-9206
(externalImage FilmMaking "http://upload.wikimedia.org/wikipedia/en/2/26/ LouisLePrinceFirstFilmEver.png") pictureList.kif 9208-9208
(subclass FilmMaking ContentDevelopment) Mid-level-ontology.kif 22280-22280

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage FilmMaking "电影制作") domainEnglishFormat.kif 23695-23695
(termFormat ChineseTraditionalLanguage FilmMaking "電影製作") domainEnglishFormat.kif 23694-23694
(termFormat EnglishLanguage FilmMaking "film making") domainEnglishFormat.kif 23693-23693

antecedent
-------------------------


(=>
    (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 22351-22360
(=>
    (and
        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))		 Mid-level-ontology.kif 22327-22333
(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))		 Mid-level-ontology.kif 22283-22290

consequent
-------------------------


(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))		 Mid-level-ontology.kif 22296-22300
(=>
    (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 22341-22349