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 20721-20722
(domain directed 1 Human) Mid-level-ontology.kif 20719-20719 The number 1 argument of directed is an instance of human
(domain directed 2 MotionPicture) Mid-level-ontology.kif 20720-20720 The number 2 argument of directed is an instance of motion picture
(instance directed BinaryPredicate) Mid-level-ontology.kif 20718-20718 directed is an instance of binary predicate

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


(format ChineseLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3250-3250
(format ChineseTraditionalLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3249-3249
(format EnglishLanguage directed "%1 directed %2") domainEnglishFormat.kif 3248-3248
(termFormat ChineseLanguage directed "针对") domainEnglishFormat.kif 19668-19668
(termFormat ChineseTraditionalLanguage directed "針對") domainEnglishFormat.kif 19667-19667
(termFormat EnglishLanguage directed "directed") domainEnglishFormat.kif 19666-19666

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 20734-20743
(=>
    (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 20724-20732


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