TreeView 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 12811-12814
(subclass Disseminating Communication)	Merge.kif 12810-12810	Disseminating is a subclass of communication

appearance as argument number 2

(subclass Advertising Disseminating)	Merge.kif 12850-12850	Advertising is a subclass of disseminating
(subclass Broadcasting Disseminating)	Mid-level-ontology.kif 15211-15211	Broadcasting is a subclass of disseminating
(subclass Demonstrating Disseminating)	Merge.kif 12826-12826	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
(termFormat EnglishLanguage Disseminating "disseminating")	english_format.kif 1609-1609

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 12816-12824

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 Agent) (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 2826-2840	If a corpuscular object is an instance of digital post and an agent is an instance of agent and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite and the agent created the corpuscular object and the agent is a registered user of the WebSite, 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 WebSite is an instrument for the entity
(=> (and (subclass ?PROGRAM NewsProgram) (equal ?EPISODE (SeriesVolumeFn ?PROGRAM ?NUMBER))) (exists (?DISSEMINATE) (and (instance ?DISSEMINATE Disseminating) (patient ?DISSEMINATE ?EPISODE))))	Mid-level-ontology.kif 14070-14077	If a kind of series is a subclass of news program and a kind of text is equal to 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 a kind of text is a patient of the process
(=> (attribute ?P Journalist) (and (occupation ?P (OccupationFn ContentDevelopment)) (occupation ?P (OccupationFn Disseminating))))	Mid-level-ontology.kif 18306-18310	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 3308-3318	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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: