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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - directed
directed

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


(documentation directed EnglishLanguage "(directed ?DIRECTOR ?MOVIE) means that the Human ?DIRECTOR was in charge of the FilmMaking Process that produced the MotionPicture ?MOVIE") Mid-level-ontology.kif 18378-18379
(domain directed 1 Human) Mid-level-ontology.kif 18376-18376
(domain directed 2 MotionPicture) Mid-level-ontology.kif 18377-18377
(instance directed BinaryPredicate) Mid-level-ontology.kif 18375-18375

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


(format ChineseLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3251-3251
(format ChineseTraditionalLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3250-3250
(format EnglishLanguage directed "%1 directed %2") domainEnglishFormat.kif 3249-3249
(termFormat ChineseLanguage directed "针对") domainEnglishFormat.kif 19597-19597
(termFormat ChineseTraditionalLanguage directed "針對") domainEnglishFormat.kif 19596-19596
(termFormat EnglishLanguage directed "directed") domainEnglishFormat.kif 19595-19595

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 18391-18400
(=>
    (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 18381-18389


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners