Nominal Axioms 1.4
These are the latest, improved axioms derived from WordNet’s nominal hierarchy, as originally described in WordNet Hierarchy Axiomatization and the Mass–Count Distinction, ICSC 2013.
Download (7.9M).