Package nltk :: Package sem :: Module logic :: Class ExistsExpression

Class ExistsExpression

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

Instance Methods

[hide private]

getQuantifier(self, syntax=1)

source code

Inherited from QuantifiedExpression: str

Inherited from VariableBinderExpression: __eq__, __init__, alpha_convert, free, replace, simplify, variables

Inherited from Expression: __and__, __call__, __gt__, __hash__, __lt__, __neg__, __or__, __repr__, __str__, applyto, negate, substitute_bindings, tp_equals

Inherited from object: __delattr__, __getattribute__, __new__, __reduce__, __reduce_ex__, __setattr__

Properties

[hide private]

Inherited from object: __class__