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 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

statement
-------------------------


(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))
Medicine.kif 4573-4576


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