<p>We describe a translation from a fragment of SUMO (SUMO-K) into higher-order
set theory. The translation provides a formal semantics f…
Words:
Votes:
Views: 7
Latest: May 16, 2023, 7:31 a.m.