Searched refs:IndividualVariableExpression (Results 1 – 5 of 5) sorted by relevance
/dports/textproc/py-nltk/nltk-3.4.1/nltk/inference/ |
H A D | resolution.py | 30 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 D | evaluate.py | 39 IndividualVariableExpression, 535 elif isinstance(parsed, IndividualVariableExpression):
|
H A D | logic.py | 1112 if isinstance(e, IndividualVariableExpression): 1125 elif isinstance(e, IndividualVariableExpression): 1499 class IndividualVariableExpression(AbstractVariableExpression): class 1544 class EventVariableExpression(IndividualVariableExpression): 1597 return IndividualVariableExpression(variable)
|
H A D | drt.py | 32 IndividualVariableExpression, 593 DrtAbstractVariableExpression, IndividualVariableExpression
|
/dports/textproc/py-nltk/nltk-3.4.1/nltk/test/ |
H A D | featgram.doctest | 543 …] * 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>}
|