Disseminating - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Disseminating ChineseLanguage "任何涉及一个 agent 和多个 destination 的 Communication。这包括发行一本已经出版的书、广播、戏剧表演、下令集结兵力、作公开演讲等等。")	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 13103-13106
(subclass Disseminating Communication)	Merge.kif 13102-13102	Disseminating is a subclass of communication

appearance as argument number 2

(subclass Advertising Disseminating)	Merge.kif 13142-13142	Advertising is a subclass of disseminating
(subclass Broadcasting Disseminating)	Mid-level-ontology.kif 16004-16004	Broadcasting is a subclass of disseminating
(subclass Demonstrating Disseminating)	Merge.kif 13118-13118	Demonstrating is a subclass of disseminating
(subclass DisseminateProducts Disseminating)	MilitaryProcesses.kif 1218-1218	Disseminate products is a subclass of disseminating
(termFormat ChineseLanguage Disseminating "传播")	chinese_format.kif 1196-1196	Disseminate products is a subclass of disseminating
(termFormat EnglishLanguage Disseminating "disseminating")	english_format.kif 1609-1609	Disseminate products is a subclass of disseminating
(termFormat FrenchLanguage Disseminating "disseminer")	french_format.kif 874-874	Disseminate products is a subclass of disseminating
(termFormat Hindi Disseminating "prasaarana")	terms-hindi.txt 407-407	Disseminate products is a subclass of disseminating
(termFormat ItalianLanguage Disseminating "Diffusione")	terms-it.txt 410-410	Disseminate products is a subclass of disseminating
(termFormat JapaneseLanguage Disseminating "普及")	japanese_format.kif 2558-2558	Disseminate products is a subclass of disseminating
(termFormat PortugueseLanguage Disseminating "Disseminar")	portuguese_format.kif 826-826	Disseminate products is a subclass of disseminating
(termFormat cb Disseminating "pagsalibwag")	terms-cb.txt 412-412	Disseminate products is a subclass of disseminating
(termFormat cz Disseminating "disseminating")	terms-cz.txt 446-446	Disseminate products is a subclass of disseminating
(termFormat ro Disseminating "diseminare")	relations-ro.kif 895-895	Disseminate products is a subclass of disseminating
(termFormat tg Disseminating "pagpapalaganap")	terms-tg.txt 411-411	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 13108-13116

If a process is an instance of disseminating,
then there exist an entity and another entity such that the process ends up at the entity and the entity is an instance of cognitive agent and the process ends up at the other entity and the other entity is an instance of cognitive agent and the entity is not equal to the other entity

consequent

(=> (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 a corpuscular object is an instance of digital post and an agent is an instance of agent and a web site is an instance of web site and the corpuscular object is a component of the web site and the agent created the corpuscular object and the agent is a registered user of the web site, then the corpuscular object has the purpose there exists an entity such that the entity is an instance of disseminating and the agent is an agent of the entity and the corpuscular object is a patient of the entity and the web site is an instrument for the entity
(=> (and (subclass ?PROGRAM NewsProgram) (instance ?EPISODE (SeriesVolumeFn ?PROGRAM ?NUMBER))) (exists (?DISSEMINATE) (and (instance ?DISSEMINATE Disseminating) (patient ?DISSEMINATE ?EPISODE))))	Mid-level-ontology.kif 14824-14831	If a kind of series is a subclass of newsprogram and an entity is an instance of volume a positive integer in the series a kind of series, then there exists a process such that the process is an instance of disseminating and the entity is a patient of the process
(=> (attribute ?P Journalist) (and (occupation ?P (OccupationFn ContentDevelopment)) (occupation ?P (OccupationFn Disseminating))))	Mid-level-ontology.kif 19213-19217	If journalist is an attribute of a human, then the occupation of content development is an occupation of the human and the occupation of disseminating is an occupation of the human
(=> (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 3349-3359	If a physical is an instance of display artifact, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of putting and the other entity is an instance of disseminating and the third entity is an instance of content bearing object and the third entity is a patient of the entity and the third entity is a patient of the other entity and the entity ends up at the physical

statement

(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))

Medicine.kif 4559-4564

There exist a process and an entity such that the process is an instance of disseminating and Netflix Corp. is an agent of the process and the entity is a patient of the process and the entity 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

KB Term:			Term intersection

English Word: