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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12864-12865
No TPTP formula. May not be expressible in strict first order. Merge.kif 12860-12863
No TPTP formula. May not be expressible in strict first order. Merge.kif 12859-12859 Disseminating is a subclass of communication

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12907-12907 Advertising is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13177-13177 Broadcasting is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. Merge.kif 12877-12877 Demonstrating is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1206-1206 Disseminate products is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. Facebook.kif 211-211 Posting is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1196-1196 "传播" is the printable form of disseminating in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 883-883 "disseminating" is the printable form of disseminating in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 874-874 "disseminer" is the printable form of disseminating in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 407-407 "prasaarana" is the printable form of disseminating in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 408-408 "Diffusione" is the printable form of disseminating in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 826-826 "Disseminar" is the printable form of disseminating in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 412-412 "pagsalibwag" is the printable form of disseminating in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 446-446 "disseminating" is the printable form of disseminating in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 411-411 "pagpapalaganap" is the printable form of disseminating in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12867-12875

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12090-12097
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16263-16267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3889-3899


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