Adimen-SUMO v2.6

Adimen-SUMO is an off-the-shelf first-order ontology that has been obtained by reengineering out of the 88% of SUMO (Suggested Upper Merged Ontology). Adimen-SUMO can be used appropriately by FO theorem provers (like E-Prover or Vampire) for formal reasoning.


  • Lexical Conceptual Resource
  • text

People who looked at this resource also viewed the following: