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


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 13057-13060
No TPTP formula. May not be expressible in strict first order. Merge.kif 13056-13056 Disseminating is a subclass of communication

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13096-13096 Advertising is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15786-15786 Broadcasting is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. Merge.kif 13072-13072 Demonstrating is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1218-1218 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 1609-1609
No TPTP formula. May not be expressible in strict first order. french_format.kif 874-874
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 407-407
No TPTP formula. May not be expressible in strict first order. terms-it.txt 410-410
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2558-2558
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 826-826
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 412-412
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 446-446
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 895-895
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 411-411

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13062-13070

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2830-2844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14606-14613
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18955-18959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3356-3366

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


No TPTP formula. May not be expressible in strict first order. 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