Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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...

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


(subclass Disseminating Communication) Merge.kif 13354-13354 Disseminating is a subclass of communication
(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 13355-13358 Disseminating is a subclass of communication

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


(subclass Demonstrating Disseminating) Merge.kif 13370-13370 Demonstrating is a subclass of disseminating
(subclass Advertising Disseminating) Merge.kif 13395-13395 Advertising is a subclass of disseminating
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 17401-17401 Broadcasting is a subclass of disseminating
(subclass DisseminateProducts Disseminating) MilitaryProcesses.kif 1240-1240 Disseminate products is a subclass of disseminating
(termFormat EnglishLanguage Disseminating "disseminating") english_format.kif 1613-1613 Disseminate products is a subclass of disseminating

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 13360-13368 If X is an instance of disseminating, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Y is an instance of cognitive agent (4) X ends up at Z (5) Z is an instance of cognitive agent (6) equal Y (7) Z

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


(=>
    (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 3968-3978 If X is an instance of display artifact, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of disseminating (4) W is an instance of content bearing object (5) W is a patient of Y (6) W is a patient of Z (7) Y ends up at X
(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (instance ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))		 Mid-level-ontology.kif 16211-16218 If X is a subclass of newsprogram and Y is an instance of volume Z in the series X, then there exists W such that W is an instance of disseminating and Y is a patient of W
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))		 Mid-level-ontology.kif 20892-20896 If journalist is an attribute of X, then the occupation of content development is an occupation of X and the occupation of disseminating is an occupation of X
(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A AutonomousAgent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
            (and
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))		 ComputerInput.kif 2846-2860 If All of the following hold: (1) X is an instance of digital post (2) Y is an instance of agent (3) Z is an instance of web site (4) X is a component of Z (5) Y created X (6) Y is a registered user of Z, then X has the purpose there exists W such that W is an instance of disseminating, Y is an agent of W, X is a patient of W, and Z is an instrument for W

statement
-------------------------


(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))		 Medicine.kif 4580-4585 There exist X, Y such that X is an instance of disseminating, Netflix Corp. is an agent of X, Y is a patient of X, and Y is an instance of motion picture


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners