This Lexvo.org page describes the entity referred to by the URI http://lexvo.org/id/wordnet/30/noun/predicate_calculus_1_09_00. A machine-readable RDF version of this description is provided here.
| rdfs:comment | a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) ('en' language string) |
| rdfs:label | functional calculus ('en' language string) |
| rdfs:label | predicate calculus ('en' language string) |
| lvont:broader | lexvo:wordnet/30/noun/symbolic_logic_1_09_00 |
| lvont:label | lexvo:term/eng/functional%20calculus |
| lvont:label | lexvo:term/eng/predicate%20calculus |
| lvont:nearlySameAs | http://purl.org/vocabularies/princeton/wn30/synset-predicate_calculus-noun-1 |
| skos:note | This resource corresponds to the meaning of the gloss text. It shares its meaning with that of the synonym set rather than denoting the WordNet synset. ('en' language string) |
Lexvo.org 2008-2025 Gerard de Melo. Contact Data Sources Legal Information / Imprint