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

VerbNet: say-37.7|announce, characterize-29.2|bill, appear-48.1.1|break, confess-37.10|reveal, say-37.7|announce, contribute-13.2|circularize, confess-37.10|reveal, confess-37.10|reveal, contribute-13.2|circularize, contribute-13.2|circularize, contribute-13.2|distribute, confess-37.10|reveal, confess-37.10|reveal, remedy-45.7|vulgarize, remedy-45.7|vulgarize, appear-48.1.1|break, appear-48.1.1|break, confess-37.10|reveal, put_spatial-9.2|hang, confess-37.10|reveal, confess-37.10|reveal, contribute-13.2|circularize, remedy-45.7|vulgarize, remedy-45.7|vulgarize, contribute-13.2|circularize, instr_communication-37.4|satellite, contribute-13.2|distribute, confess-37.10|reveal, remedy-45.7|vulgarize, remedy-45.7|vulgarize,


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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3243-3244
No TPTP formula. May not be expressible in strict first order. Merge.kif 12090-12093
No TPTP formula. May not be expressible in strict first order. Merge.kif 12089-12089 Disseminating is a subclass of communication

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12129-12129 Advertising is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13489-13489 Broadcasting is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. Merge.kif 12105-12105 Demonstrating is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1217-1217 Disseminate products is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1196-1196
No TPTP formula. May not be expressible in strict first order. english_format.kif 1614-1614

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12095-12103

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12402-12409
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16735-16739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3895-3905


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