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
(domain produced 2 Recording) Mid-level-ontology.kif 20690-20690
(instance produced BinaryPredicate) Mid-level-ontology.kif 20684-20684

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