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 12080-12083
(subclass Disseminating Communication) Merge.kif 12079-12079 Disseminating is a subclass of communication

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


(subclass Advertising Disseminating) Merge.kif 12119-12119 Advertising is a subclass of disseminating
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 13437-13437 Broadcasting is a subclass of disseminating
(subclass Demonstrating Disseminating) Merge.kif 12095-12095 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 12085-12093

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


(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (equal ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 12350-12357
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))
Mid-level-ontology.kif 16683-16687
(=>
    (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 3889-3899


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