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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FilmMaking

Sigma KEE - FilmMaking
FilmMaking

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


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

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


(termFormat ChineseLanguage FilmMaking "电影制作") domainEnglishFormat.kif 23685-23685
(termFormat ChineseTraditionalLanguage FilmMaking "電影製作") domainEnglishFormat.kif 23684-23684
(termFormat EnglishLanguage FilmMaking "film making") domainEnglishFormat.kif 23683-23683

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 19906-19915
(=>
    (and
        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))
Mid-level-ontology.kif 19882-19888
(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))
Mid-level-ontology.kif 19838-19845

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


(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))
Mid-level-ontology.kif 19851-19855
(=>
    (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 19896-19904


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners