en predicate calculus (n, cognition)

An English term in ConceptNet 5.8

Source: 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) ➜

Parts of predicate calculus

  • en quantification (n, cognition) ➜

predicate calculus is a type of…

  • en symbolic logic (n, cognition) ➜

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.