Package nltk :: Package sem :: Module logic :: Class ExistsExpression
[hide private]
[frames] | no frames]

type ExistsExpression

source code

         object --+                
                  |                
SubstituteBindingsI --+            
                      |            
             Expression --+        
                          |        
   VariableBinderExpression --+    
                              |    
           QuantifiedExpression --+
                                  |
                                 ExistsExpression

Instance Methods [hide private]
 
getQuantifier(self) source code

Inherited from QuantifiedExpression: __str__

Inherited from QuantifiedExpression (private): _set_type

Inherited from VariableBinderExpression: __eq__, __init__, alpha_convert, findtype, free, replace, variables, visit

Inherited from Expression: __and__, __call__, __gt__, __hash__, __lt__, __neg__, __neq__, __or__, __repr__, applyto, equiv, make_VariableExpression, negate, normalize, simplify, substitute_bindings, tp_equals, typecheck

Properties [hide private]

Inherited from QuantifiedExpression: type