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 22329-22330
(domain directed 1 Human) Mid-level-ontology.kif 22327-22327 The number 1 argument of directed is an instance of human
(domain directed 2 MotionPicture) Mid-level-ontology.kif 22328-22328 The number 2 argument of directed is an instance of motion picture
(instance directed BinaryPredicate) Mid-level-ontology.kif 22326-22326 directed is an instance of binary predicate

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


(format ChineseLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3246-3246
(format ChineseTraditionalLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3245-3245
(format EnglishLanguage directed "%1 directed %2") domainEnglishFormat.kif 3244-3244
(termFormat ChineseLanguage directed "针对") domainEnglishFormat.kif 19676-19676
(termFormat ChineseTraditionalLanguage directed "針對") domainEnglishFormat.kif 19675-19675
(termFormat EnglishLanguage directed "directed") domainEnglishFormat.kif 19674-19674

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 22342-22351
(=>
    (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 22332-22340


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