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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 20635-20636
(domain produced 1 Human) Mid-level-ontology.kif 20639-20639
(domain produced 2 Recording) Mid-level-ontology.kif 20640-20640
(instance produced BinaryPredicate) Mid-level-ontology.kif 20634-20634

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


        (produced ?P ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (result ?FILMMAKING ?MOVIE))
        (WhenFn ?FILMMAKING)
        (attribute ?P FilmProducer)))
Mid-level-ontology.kif 20659-20665
    (produced ?R ?A)
    (exists (?M ?P)
            (instance ?M Managing)
            (agent ?M ?A)
            (patient ?M ?P)
            (instance ?P Process)
            (result ?P ?R))))
Mid-level-ontology.kif 20642-20650

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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