Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Disseminating
Disseminating

appearance as argument number 1
-------------------------


(documentation Disseminating ChineseLanguage "任何涉及一个 agent 和多个 destinationCommunication。 这包括发行一本已经出版的书、广播、戏剧表演、下令集结兵力、作公开演讲等等。") 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
-------------------------


(subclass Advertising Disseminating) Merge.kif 13171-13171 子類 Advertising and Disseminating
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 16714-16714 子類 廣播 and Disseminating
(subclass Demonstrating Disseminating) Merge.kif 13147-13147 子類 示範 and Disseminating
(subclass DisseminateProducts Disseminating) MilitaryProcesses.kif 1218-1218 子類 傳播產品 and Disseminating
(termFormat ChineseLanguage Disseminating "传播") chinese_format.kif 1196-1196 子類 傳播產品 and Disseminating
(termFormat EnglishLanguage Disseminating "disseminating") english_format.kif 1609-1609 子類 傳播產品 and Disseminating
(termFormat FrenchLanguage Disseminating "disseminer") french_format.kif 874-874 子類 傳播產品 and Disseminating
(termFormat Hindi Disseminating "prasaarana") terms-hindi.txt 407-407 子類 傳播產品 and Disseminating
(termFormat ItalianLanguage Disseminating "Diffusione") terms-it.txt 410-410 子類 傳播產品 and Disseminating
(termFormat JapaneseLanguage Disseminating "普及") japanese_format.kif 2558-2558 子類 傳播產品 and Disseminating
(termFormat PortugueseLanguage Disseminating "Disseminar") portuguese_format.kif 826-826 子類 傳播產品 and Disseminating
(termFormat cb Disseminating "pagsalibwag") terms-cb.txt 412-412 子類 傳播產品 and Disseminating
(termFormat cz Disseminating "disseminating") terms-cz.txt 446-446 子類 傳播產品 and Disseminating
(termFormat de Disseminating "Verbreitung") terms-de.txt 705-705 子類 傳播產品 and Disseminating
(termFormat ro Disseminating "diseminare") relations-ro.kif 895-895 子類 傳播產品 and Disseminating
(termFormat tg Disseminating "pagpapalaganap") terms-tg.txt 411-411 子類 傳播產品 and 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 13137-13145

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
(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (instance ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 15534-15541
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))
Mid-level-ontology.kif 20044-20048
(=>
    (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 3422-3432