equal_prop_p()
KEYWORDS
KEYWORDS_R
remove_type()
Domain
Individual
Var
LF
ULF
ELF
Eventuality
Condition
Repetition
parse_eventuality()
parse_condition()
parse_repetition()
parse_eventuality_list()
from_lisp_file()
from_lisp_dirs()
expectation_p()
extract_set()
make_set()
is_set()
set_union()
not_prop_p()
and_prop_p()
or_prop_p()
characterizes_prop_p()
Check whether a given wff is an equality predicate.