Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

OperatoreLogico (LogicalOperator)

This Class currently comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>').

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  Predicato  
is subclass of
  OperatoreLogico  

Instance(s)

and  or  =>  <=>  not  forall  exists  entails 

Coordinate term(s)

PredicatoBinario  PredicatoQuaternario  PredicatoQuinquenario  PredicatoTernario 

Related WordNet synsets

logical relation
a relation between logical propositions
logical relation is kind of (all)...   logical relation is kind of...   kinds of logical relation...   kinds of logical relation (all)...  
See more related synsets on a separate page.