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 |
(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 15813-15813 | 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 | |
(termFormat EnglishLanguage Disseminating "disseminating") | english_format.kif 1609-1609 | |
(termFormat FrenchLanguage Disseminating "disseminer") | french_format.kif 874-874 | |
(termFormat Hindi Disseminating "prasaarana") | terms-hindi.txt 407-407 | |
(termFormat ItalianLanguage Disseminating "Diffusione") | terms-it.txt 410-410 | |
(termFormat JapaneseLanguage Disseminating "普及") | japanese_format.kif 2558-2558 | |
(termFormat PortugueseLanguage Disseminating "Disseminar") | portuguese_format.kif 826-826 | |
(termFormat cb Disseminating "pagsalibwag") | terms-cb.txt 412-412 | |
(termFormat cz Disseminating "disseminating") | terms-cz.txt 446-446 | |
(termFormat ro Disseminating "diseminare") | relations-ro.kif 895-895 | |
(termFormat tg Disseminating "pagpapalaganap") | terms-tg.txt 411-411 |
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 |
|
consequent |
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 |