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

Formal Language: 



KB Term:  Term intersection
English Word: 

  produced

 Sigma KEE - produced
produced

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


(documentation produced EnglishLanguage "(produced ?A ?R) Human ?A is responsible for all decision-making processes that resulted in Recording ?R") Mid-level-ontology.kif 20685-20686
(domain produced 1 Human) Mid-level-ontology.kif 20689-20689 Le nombre 1 argument de produced est une instance de humain
(domain produced 2 Recording) Mid-level-ontology.kif 20690-20690 Le nombre 2 argument de produced est une instance de Recording
(instance produced BinaryPredicate) Mid-level-ontology.kif 20684-20684 produced est une instance de pr�dicat binaire

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


(format ChineseLanguage produced "%2 produces %1 ") domainEnglishFormat.kif 4226-4226
(format ChineseTraditionalLanguage produced "%2 produces %1 ") domainEnglishFormat.kif 4225-4225
(format EnglishLanguage produced "%2 produces %1") domainEnglishFormat.kif 4224-4224
(termFormat EnglishLanguage produced "produced") Mid-level-ontology.kif 20687-20687

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


(=>
    (and
        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))		 Mid-level-ontology.kif 20709-20715
(=>
    (produced ?R ?A)
    (exists (?M ?P)
        (and
            (instance ?M Managing)
            (agent ?M ?A)
            (patient ?M ?P)
            (instance ?P Process)
            (result ?P ?R))))		 Mid-level-ontology.kif 20692-20700


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