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 20748-20749
(domain directed 1 Human) Mid-level-ontology.kif 20746-20746 针对 的 1 数量 是 人类 的 instance
(domain directed 2 MotionPicture) Mid-level-ontology.kif 20747-20747 针对 的 2 数量 是 动态映像 的 instance
(instance directed BinaryPredicate) Mid-level-ontology.kif 20745-20745 针对 是 二元谓语 的 instance

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 20761-20770
(=>
    (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 20751-20759


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