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

Formal Language: 



KB Term:  Term intersection
English Word: 

  directed

 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 18824-18825
(domain directed 1 Human) Mid-level-ontology.kif 18822-18822
(domain directed 2 MotionPicture) Mid-level-ontology.kif 18823-18823
(instance directed BinaryPredicate) Mid-level-ontology.kif 18821-18821

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


(format ChineseLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3255-3255
(format ChineseTraditionalLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3254-3254
(format EnglishLanguage directed "%1 directed %2") domainEnglishFormat.kif 3253-3253
(termFormat ChineseLanguage directed "针对") domainEnglishFormat.kif 19659-19659
(termFormat ChineseTraditionalLanguage directed "針對") domainEnglishFormat.kif 19658-19658
(termFormat EnglishLanguage directed "directed") domainEnglishFormat.kif 19657-19657

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 18837-18846
(=>
    (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 18827-18835


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