Open fcbr opened 8 years ago
Not sure if this is correct:
suo-kif> (get-explicit-types '?X '(subclass ?X Human)) (Human)
Not sure if this is correct: