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

邏輯運算元 (LogicalOperator)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  述詞  
is subclass of
  邏輯運算元  

Instance(s)

      若且唯若    所有  存在  推知 

Coordinate term(s)

二元述詞  四元述詞  五元述詞  三元述詞 

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.