ecipedia-usc
-
This repository contains a partial mapping of Jerry Hobbs and Andrew
Gordon's [background theory axioms](https://isi.edu/~hobbs/csk.html),
and additional spatial axioms, all developed at USC, for inclusion on
the CwC program's [ECIpedia](https://ecipedia.sift.net/eci-web).