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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FilmMaking
FilmMaking(film making)

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


(documentation FilmMaking EnglishLanguage "ContentDevelopment where the result is a MotionPicture.") Mid-level-ontology.kif 21753-21754
(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 21752-21752 Film making is a subclass of content development

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


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

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 21823-21832
(=>
    (and
        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))
Mid-level-ontology.kif 21799-21805
(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))
Mid-level-ontology.kif 21755-21762

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


(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))
Mid-level-ontology.kif 21768-21772
(=>
    (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 21813-21821

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


(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))
Medicine.kif 4554-4557 There exists a process such that the process is an instance of film making and Netflix Corp. is an agent of the process


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



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