Muslim
|
|
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 ist eine teilkategorie von Communication |
appearance as argument number 2 |
(subclass Advertising Disseminating) | Merge.kif 13142-13142 | Advertising ist eine teilkategorie von Disseminating |
(subclass Broadcasting Disseminating) | Mid-level-ontology.kif 15813-15813 | Broadcasting ist eine teilkategorie von Disseminating |
(subclass Demonstrating Disseminating) | Merge.kif 13118-13118 | Demonstrating ist eine teilkategorie von Disseminating |
(subclass DisseminateProducts Disseminating) | MilitaryProcesses.kif 1218-1218 | DisseminateProducts ist eine teilkategorie von 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 | Es gibt Process und Entity um ** Process ist ein fall von Disseminating %n{nicht} und ** Process ist der agent von Netflix %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein fall von MotionPicture %n{nicht} |