Home
last modified time | relevance | path

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

/dports/textproc/py-nltk/nltk-3.4.1/nltk/inference/
H A Dresolution.py30 IndividualVariableExpression,
152 and not isinstance(term.argument, IndividualVariableExpression)
565 elif isinstance(binding, IndividualVariableExpression):
647 elif isinstance(a, IndividualVariableExpression):
649 elif isinstance(b, IndividualVariableExpression):
/dports/textproc/py-nltk/nltk-3.4.1/nltk/sem/
H A Devaluate.py39 IndividualVariableExpression,
535 elif isinstance(parsed, IndividualVariableExpression):
H A Dlogic.py1112 if isinstance(e, IndividualVariableExpression):
1125 elif isinstance(e, IndividualVariableExpression):
1499 class IndividualVariableExpression(AbstractVariableExpression): class
1544 class EventVariableExpression(IndividualVariableExpression):
1597 return IndividualVariableExpression(variable)
H A Ddrt.py32 IndividualVariableExpression,
593 DrtAbstractVariableExpression, IndividualVariableExpression
/dports/textproc/py-nltk/nltk-3.4.1/nltk/test/
H A Dfeatgram.doctest543 …] * VP[SEM=[BO=?b2, CORE=?vp]] {?b1: {bo(\P.P(John),z2)}, ?subj: <IndividualVariableExpression z2>}
562 …] * VP[SEM=[BO=?b2, CORE=?vp]] {?b1: {bo(\P.P(John),z2)}, ?subj: <IndividualVariableExpression z2>}
569 …2, CORE=?vp]] {?b1: {bo(\P.exists x.(dog(x) & P(x)),z2)}, ?subj: <IndividualVariableExpression z2>}