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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Disseminating
DisseminatingCommunist_Manifesto, Diffusione, Disseminar, 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...

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


s__documentation(s__Disseminating,s__ChineseLanguage,'任何涉及一个 agent 和多个 destinationCommunication。 这包括发行一本已经出版的书、广播、戏剧表演、下令集结兵力、作公开演讲等等。')

Merge.kif 12943-12944
s__documentation(s__Disseminating,s__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 12939-12942
s__instance(s__Communication,s__SetOrClass)

Merge.kif 12938-12938

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


s__instance(s__Advertising,s__SetOrClass)

Merge.kif 12986-12986
s__subclass(s__Broadcasting,s__Disseminating)

Mid-level-ontology.kif 13437-13437
s__instance(s__Demonstrating,s__SetOrClass)

Merge.kif 12956-12956
s__instance(s__Disseminating,s__SetOrClass)

MilitaryProcesses.kif 1206-1206
s__instance(s__Posting,s__SetOrClass)

Facebook.kif 211-211
s__termFormat(s__ChineseLanguage,s__Disseminating,'传播')

chinese_format.kif 1196-1196
s__termFormat(s__EnglishLanguage,s__Disseminating,'disseminating')

english_format.kif 883-883
s__termFormat(s__FrenchLanguage,s__Disseminating,'disseminer')

french_format.kif 874-874
s__termFormat(s__Hindi,s__Disseminating,'prasaarana')

terms-hindi.txt 407-407
s__termFormat(s__ItalianLanguage,s__Disseminating,'Diffusione')

terms-it.txt 408-408
s__termFormat(s__PortugueseLanguage,s__Disseminating,'Disseminar')

portuguese_format.kif 826-826
s__termFormat(s__cb__m,s__Disseminating,'pagsalibwag')

terms-cb.txt 412-412
s__termFormat(s__cz__m,s__Disseminating,'disseminating')

terms-cz.txt 446-446
s__termFormat(s__tg__m,s__Disseminating,'pagpapalaganap')

terms-tg.txt 411-411

antecedent
-------------------------


( ! [V__DISSEMINATE] :
   (s__instance(V__DISSEMINATE,s__Disseminating) =>
     (? [V__AGENT1,V__AGENT2] :
       (s__destination(V__DISSEMINATE,V__AGENT1)
       &
       s__instance(V__AGENT1,s__CognitiveAgent) &
       s__destination(V__DISSEMINATE,V__AGENT2)
     &
     s__instance(V__AGENT2,s__CognitiveAgent) &
     (~ (V__AGENT1 = V__AGENT2)))))
)

Merge.kif 12946-12954

consequent
-------------------------


( ! [V__PROGRAM,V__EPISODE,V__NUMBER] :
   ((s__subclass(V__PROGRAM,s__NewsProgram) &
       (V__EPISODE = s__SeriesVolumeFn(V__PROGRAM,V__NUMBER)))
   =>
   (? [V__DISSEMINATE] :
     (s__instance(V__DISSEMINATE,s__Disseminating) &
       s__patient(V__DISSEMINATE,V__EPISODE))))
)

Mid-level-ontology.kif 12350-12357
( ! [V__P] :
   (s__attribute(V__P,s__Journalist) =>
     (s__occupation(V__P,s__OccupationFn(s__ContentDevelopment))
     &
     s__occupation(V__P,s__OccupationFn(s__Disseminating))))
)

Mid-level-ontology.kif 16564-16568
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3893-3903


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners