Uses of Class
com.cyc.cycjava.cycl.term.$fast_skolem_natP$UnaryFunction

No usage of com.cyc.cycjava.cycl.term.$fast_skolem_natP$UnaryFunction