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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Disseminating
Disseminating(disseminating)Communist_Manifesto, TV_program, TV_show, acknowledged, action_replay, advertise, advertised, advertize, agitprop, air, announce, announced, announcement, annunciation, art_exhibition, attraction, baccalaureate, ballyhoo, bandy_about, banns, bare, beam, bill, blazon_out, blue_wall, blue_wall_of_silence, break, bring_out, broadcast, burked, chat_show, circularise, circularize, circulate, closed-captioned, colloquium, colorcast, colourcast, counterattraction, cover, cover-up, coverage, cry, declaration, demo, demonstration, denote, diffuse, diffusing, diffusion...

VerbNet: say-37.7|announce, characterize-29.2|bill, appear-48.1.1|break, confess-37.10|reveal, say-37.7|announce, contribute-13.2|circularize, confess-37.10|reveal, confess-37.10|reveal, contribute-13.2|circularize, contribute-13.2|circularize, contribute-13.2|distribute, confess-37.10|reveal, confess-37.10|reveal, remedy-45.7|vulgarize, remedy-45.7|vulgarize, appear-48.1.1|break, appear-48.1.1|break, confess-37.10|reveal, put_spatial-9.2|hang, confess-37.10|reveal, confess-37.10|reveal, contribute-13.2|circularize, remedy-45.7|vulgarize, remedy-45.7|vulgarize, contribute-13.2|circularize, instr_communication-37.4|satellite, contribute-13.2|distribute, confess-37.10|reveal, remedy-45.7|vulgarize, remedy-45.7|vulgarize,


appearance as argument number 1
-------------------------


(documentation Disseminating ChineseLanguage "任何涉及一个 agent 和多个 destinationCommunication。 这包括发行一本已经出版的书、广播、戏剧表演、下令集结兵力、作公开演讲等等。") chinese_format.kif 3243-3244
(documentation Disseminating EnglishLanguage "Any Communication that involves a single agent and many destinations. This covers the release of a published book, broadcasting, a theatrical performance, giving orders to assembled troops, delivering a public lecture, etc.") Merge.kif 12090-12093
(subclass Disseminating Communication) Merge.kif 12089-12089 Disseminating is a subclass of communication

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


(subclass Advertising Disseminating) Merge.kif 12129-12129 Advertising is a subclass of disseminating
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 13489-13489 Broadcasting is a subclass of disseminating
(subclass Demonstrating Disseminating) Merge.kif 12105-12105 Demonstrating is a subclass of disseminating
(subclass DisseminateProducts Disseminating) MilitaryProcesses.kif 1217-1217 Disseminate products is a subclass of disseminating
(termFormat ChineseLanguage Disseminating "传播") chinese_format.kif 1196-1196
(termFormat EnglishLanguage Disseminating "disseminating") english_format.kif 1614-1614

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


(=>
    (instance ?DISSEMINATE Disseminating)
    (exists (?AGENT1 ?AGENT2)
        (and
            (destination ?DISSEMINATE ?AGENT1)
            (instance ?AGENT1 CognitiveAgent)
            (destination ?DISSEMINATE ?AGENT2)
            (instance ?AGENT2 CognitiveAgent)
            (not
                (equal ?AGENT1 ?AGENT2)))))
Merge.kif 12095-12103

consequent
-------------------------


(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (equal ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 12402-12409
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))
Mid-level-ontology.kif 16735-16739
(=>
    (instance ?DA DisplayArtifact)
    (hasPurpose ?DA
        (exists (?P ?D ?I)
            (and
                (instance ?P Putting)
                (instance ?D Disseminating)
                (instance ?I ContentBearingObject)
                (patient ?P ?I)
                (patient ?D ?I)
                (destination ?P ?DA)))))
Mid-level-ontology.kif 3895-3905


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners