| 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 13113-13116 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13112-13112 | Disseminating is a subclass of communication |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13152-13152 | Advertising is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16036-16036 | Broadcasting is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13128-13128 | 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 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1609-1609 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 874-874 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 407-407 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 410-410 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2558-2558 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 826-826 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 412-412 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 446-446 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 895-895 | Disseminate products is a subclass of disseminating |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 411-411 | Disseminate products is a subclass of disseminating |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13118-13126 |
|
| consequent |
|
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4547-4552 | 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 |
|
|
|