BabelNet

bn:00076590n

Noun Concept

Categories: Mathematical logic, Elementary mathematics, Rewriting systems

term context Finite terms First-order terms linear term

One of the substantive phrases in a logical proposition WordNet 3.0

Definitions

Examples

Relations

Sources

One of the substantive phrases in a logical proposition WordNet 3.0 & Open English WordNet

In mathematical logic, a term denotes a mathematical object while a formula denotes a mathematical fact. Wikipedia

A component of a logical or mathematical expression Wikipedia Disambiguation

Mathematical expression that may form a separable part of an equation, a series, or another expression; used in in mathematical logic, universal algebra, and rewriting systems Wikidata

A word or phrase, especially one from a specialised area of knowledge. Wiktionary

Word or phrase, especially one from a specialised area of knowledge. Wiktionary (translation)

The major term of a syllogism must occur twice WordNet 3.0 & Open English WordNet

"Algorithm" is a term used in computer science. Wiktionary

IS A

HAS PART

PART OF

HAS KIND

HAS INSTANCE

Law given to Moses at Sinai

zenzizenzizenzic

antecedent

+2 relations

WordNet 3.0 & Open English WordNet

term

Wikipedia

term (logic)

Wikidata

term

Wiktionary

term

Wikipedia Redirections

context (term rewriting), Finite terms, First-order terms, linear term, Logic term, Renamed copy, subterm, Subterms, Term (first-order logic), variant (logic)

Wikidata Alias

term in logic, term in math, term in rewriting systems, term in universal algebra