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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Disseminating
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 和多个 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 13057-13060
(subclass Disseminating Communication) Merge.kif 13056-13056 Disseminating is a subclass of communication

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


(subclass Advertising Disseminating) Merge.kif 13096-13096 Advertising is a subclass of disseminating
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 15786-15786 Broadcasting is a subclass of disseminating
(subclass Demonstrating Disseminating) Merge.kif 13072-13072 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 13062-13070

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 14606-14613
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))
Mid-level-ontology.kif 18955-18959
(=>
    (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 3356-3366

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


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