Home
last modified time | relevance | path

Searched refs:is_indvar (Results 1 – 5 of 5) sorted by relevance

/dports/textproc/py-nltk/nltk-3.4.1/nltk/inference/
H A Dmace.py17 from nltk.sem.logic import is_indvar
75 if is_indvar(name):
H A Dresolution.py29 is_indvar,
503 if is_indvar(free.name):
/dports/textproc/py-nltk/nltk-3.4.1/nltk/sem/
H A Devaluate.py44 is_indvar,
322 assert is_indvar(var), (
383 assert is_indvar(var), "Wrong format for an Individual Variable: '%s'" % var
H A Ddrt.py41 is_indvar,
504 if is_indvar(s):
565 if is_indvar(variable.name):
H A Dlogic.py666 if is_indvar(pattern.name):
1596 if is_indvar(variable.name):
1973 def is_indvar(expr): function