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 Il numero 1 argomenti di produced è un istanza di Umano
(domain produced 2 Recording) Mid-level-ontology.kif 20690-20690 Il numero 2 argomenti di produced è un istanza di Recording
(instance produced BinaryPredicate) Mid-level-ontology.kif 20684-20684 produced è un' istanza di PredicatoBinario

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