statement

(exists (?H)     (and         (attribute ?H NewReporter)         (employs ProPublica ?H)))

Medicine.kif 4611-4614

There exists X such that NewReporter is an attribute of X and Pro Publica Inc. employs X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners