Disseminating | ![]() |
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 13132-13135 | |
(subclass Disseminating Communication) | Merge.kif 13131-13131 | 子類 Disseminating and Communication |
appearance as argument number 2 |
![]() |
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 13137-13145 |
consequent |
![]() |
statement |
![]() |
(exists (?D ?M) (and (instance ?D Disseminating) (agent ?D Netflix) (patient ?D ?M) (instance ?M MotionPicture))) |
Medicine.kif 4547-4552 | Process Entity 例 Process and Disseminating agent Process and Netflix 患者 Process and Entity 例 Entity and MotionPicture |
![]() |
![]() |