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 20686-20687
(domain produced 1 Human) Mid-level-ontology.kif 20690-20690
(domain produced 2 Recording) Mid-level-ontology.kif 20691-20691
(instance produced BinaryPredicate) Mid-level-ontology.kif 20685-20685

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 20688-20688

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


(=>
    (and
        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))		 Mid-level-ontology.kif 20710-20716
(=>
    (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 20693-20701


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