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 13103-13106
(subclass Disseminating Communication) Merge.kif 13102-13102 传播沟通subclass

appearance as argument number 2
-------------------------


(subclass Advertising Disseminating) Merge.kif 13142-13142 广告传播subclass
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 16004-16004 广播传播subclass
(subclass Demonstrating Disseminating) Merge.kif 13118-13118 示范传播subclass
(subclass DisseminateProducts Disseminating) MilitaryProcesses.kif 1218-1218 传播产品传播subclass
(termFormat ChineseLanguage Disseminating "传播") chinese_format.kif 1196-1196 传播产品传播subclass
(termFormat EnglishLanguage Disseminating "disseminating") english_format.kif 1609-1609 传播产品传播subclass
(termFormat FrenchLanguage Disseminating "disseminer") french_format.kif 874-874 传播产品传播subclass
(termFormat Hindi Disseminating "prasaarana") terms-hindi.txt 407-407 传播产品传播subclass
(termFormat ItalianLanguage Disseminating "Diffusione") terms-it.txt 410-410 传播产品传播subclass
(termFormat JapaneseLanguage Disseminating "普及") japanese_format.kif 2558-2558 传播产品传播subclass
(termFormat PortugueseLanguage Disseminating "Disseminar") portuguese_format.kif 826-826 传播产品传播subclass
(termFormat cb Disseminating "pagsalibwag") terms-cb.txt 412-412 传播产品传播subclass
(termFormat cz Disseminating "disseminating") terms-cz.txt 446-446 传播产品传播subclass
(termFormat ro Disseminating "diseminare") relations-ro.kif 895-895 传播产品传播subclass
(termFormat tg Disseminating "pagpapalaganap") terms-tg.txt 411-411 传播产品传播subclass

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


(=>
    (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 14824-14831
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))
Mid-level-ontology.kif 19213-19217
(=>
    (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 3349-3359

statement
-------------------------


(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))
Medicine.kif 4559-4564 有存在 过程 实体 这样 那个 过程传播instanceNetflix那个 过程agent那个 实体那个 过程patient那个 实体动态映像instance


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



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