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


KB Term:  Term intersection
English Word: 

Sigma KEE - directed
directed

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


(instance directed BinaryPredicate) Mid-level-ontology.kif 23026-23026 directed is an instance of binary predicate
(domain directed 1 Human) Mid-level-ontology.kif 23027-23027 The number 1 argument of directed is an instance of human
(domain directed 2 MotionPicture) Mid-level-ontology.kif 23028-23028 The number 2 argument of directed is an instance of motion picture
(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 23029-23030 The number 2 argument of directed is an instance of motion picture

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


(format EnglishLanguage directed "%1 directed %2") domainEnglishFormat.kif 3244-3244
(format ChineseTraditionalLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3245-3245
(format ChineseLanguage directed "%1 directed %2 ") domainEnglishFormat.kif 3246-3246
(termFormat EnglishLanguage directed "directed") domainEnglishFormat.kif 19668-19668
(termFormat ChineseTraditionalLanguage directed "針對") domainEnglishFormat.kif 19669-19669
(termFormat ChineseLanguage directed "针对") domainEnglishFormat.kif 19670-19670

antecedent
-------------------------


(=>
    (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 23032-23040 If X directed Y, then there exist Z, W such that Z is an instance of film making, W is an instance of organization, X is a leader of W, W is an agent of Z, and Y is a result of Z
(=>
    (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 23042-23051 If All of the following hold: (1) X directed Y (2) Z is an instance of film making (3) W is an instance of organization (4) X is a leader of W (5) W is an agent of Z (6) Y is a result of Z, then film director is an attribute of X holds during the time of existence of Z


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