Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 13232-13232 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 13233-13236 Disseminating is a subclass of communication

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


(subclass Demonstrating Disseminating) Merge.kif 13248-13248 Demonstrating is a subclass of disseminating
(subclass Advertising Disseminating) Merge.kif 13272-13272 Advertising is a subclass of disseminating
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 17327-17327 Broadcasting is a subclass of disseminating
(subclass DisseminateProducts Disseminating) MilitaryProcesses.kif 1237-1237 Disseminate products is a subclass of disseminating
(termFormat EnglishLanguage Disseminating "disseminating") english_format.kif 1609-1609 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 13238-13246 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 3816-3826 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 16128-16135 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 20889-20893 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 2830-2844 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 4542-4547 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 is open source software produced by Articulate Software and its partners