Property-concept classes

[dixon-1982]'s seven semantic classes of property-concept lexemes, the words that surface as adjectives in English and as verbs, nouns, or adjectives elsewhere. [beavers-etal-2021] (5) sample all but human propensity, and [hanink-koontz-garboden-2025] class Wá·šiw property-concept roots by them.

Main declarations

• PropertyConcept.Class — Dixon's seven classes

References

• [dixon-1982]: Where Have All the Adjectives Gone?

inductive Semantics.PropertyConcept.Class : Type

[dixon-1982]'s semantic classes of property concepts.

• dimension : Class

  large, small, long, short, deep, wide, tall.

• age : Class

  old.

• value : Class

  bad, good.

• color : Class

  white, black, red, green, blue, brown.

• physicalProperty : Class

  cold, warm, dry, soft, smooth.

• humanPropensity : Class

  angry, embarrassed.

• speed : Class

  fast, slow.

@[instance_reducible]

instance Semantics.PropertyConcept.instDecidableEqClass : DecidableEq Class

Equations

• Semantics.PropertyConcept.instDecidableEqClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Semantics.PropertyConcept.instFintypeClass : Fintype Class

Equations

• One or more equations did not get rendered due to their size.

def Semantics.PropertyConcept.instReprClass.repr : Class → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Semantics.PropertyConcept.instReprClass : Repr Class

Equations

• Semantics.PropertyConcept.instReprClass = { reprPrec := Semantics.PropertyConcept.instReprClass.repr }