Functional Calculus

nounid 58046·updated May 18, 2026

verified

GlossaryL1 — what DictionaryL2 — how used ThesaurusL3 — relations Universaleverything

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

MWE

Attested in

dated observations, per pack version

No recorded attestations. They are written when an MWE tagging stage is completed, stamped with the pack version and the document’s digest.

Classifications

per-axis with provenance

Entity Type

Unknown—authoritativeglossary_import_default_pending_classifier

Sensitivity

unclassified

Information Class

unclassified

Variants

6 surface forms

synonym: predicate calculus
plural: Functional CalculiFunctional Calculuses
possessive: Functional Calculus's
pluralpossessive: Functional Calculi'sFunctional Calculuses'

Framework definitions

2 senses across 2 frameworks

Wordset Dictionary1 senseview framework →

§1: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

Legacy lexicon import1 senseview framework →

§1 · legacy_primary: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
DR-088 backfill from the noun definition column

Outgoing relationships

term as subject — 0 triples

No outgoing triples

This term is not the subject of any RDF-style relationship yet.

Incoming relationships

term as object — 0 triples

No incoming triples

No other term currently asserts a relationship to this one.