en predicate calculus (n)

An English term in ConceptNet 5.8

Sources: English Wiktionary, French Wiktionary, and Open Multilingual WordNet
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Synonyms

  • en functional calculus (n, cognition) ➜
  • fi predikaattilogiikka (n, cognition) ➜
  • fr calcul des prédicats (n, cognition) ➜
  • ja 述語論理 (n, cognition) ➜
  • th แคลคูลัสภาคแสดง (n, cognition) ➜
  • de prädikatenlogik ➜
  • fi predikaattilogiikka ➜
  • fr calcul des prédicats ➜
  • is umsagnareikningur ➜
  • mk предикатна пресметка ➜
  • sh predikatni račun ➜
  • sv predikatlogik ➜

Related terms

  • en domain of discourse ➜
  • en member ➜
  • en predicate logic ➜
  • en quantified ➜
  • en statement ➜
  • fr calcul des prédicats ➜

Parts of predicate calculus

  • en quantification (n, cognition) ➜
  • en existential quantifier ➜
  • en universal quantifier ➜

predicate calculus is a type of…

  • en symbolic logic (n, cognition) ➜
  • en logical calculus ➜

Derived terms

  • en monadic predicate calculus ➜

Context of this term

  • en logic ➜

Links to other resources

  • wordnet-rdf.princeton.edu 106175080-n
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.