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 19684-19685
(domain produced 1 Human) Mid-level-ontology.kif 19688-19688
(domain produced 2 Recording) Mid-level-ontology.kif 19689-19689
(instance produced BinaryPredicate) Mid-level-ontology.kif 19683-19683

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


(format ChineseLanguage produced "%2 produces %1 ") domainEnglishFormat.kif 4231-4231
(format ChineseTraditionalLanguage produced "%2 produces %1 ") domainEnglishFormat.kif 4230-4230
(format EnglishLanguage produced "%2 produces %1") domainEnglishFormat.kif 4229-4229
(termFormat EnglishLanguage produced "produced") Mid-level-ontology.kif 19686-19686

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


(=>
    (and
        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))
Mid-level-ontology.kif 19708-19714
(=>
    (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 19691-19699


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