Package com.articulate.sigma.parsing
package com.articulate.sigma.parsing
-
ClassesClassDescriptionExample App showing 3 various ways to parse SUO-KIF and show the resultsDetermine the types of variables by their appearance in relations, as well as whether constants or functions are allowed given their types