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 20922-20923
(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 20921-20921

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


(termFormat ChineseLanguage FilmMaking "电影制作") domainEnglishFormat.kif 23707-23707
(termFormat ChineseTraditionalLanguage FilmMaking "電影製作") domainEnglishFormat.kif 23706-23706
(termFormat EnglishLanguage FilmMaking "film making") domainEnglishFormat.kif 23705-23705

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 20992-21001
(=>
    (and
        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))		 Mid-level-ontology.kif 20968-20974
(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))		 Mid-level-ontology.kif 20924-20931

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


(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))		 Mid-level-ontology.kif 20937-20941
(=>
    (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 20982-20990