Washo property concepts

The seventy property-concept stems of [HKG25]'s appendix, each with [Dix82]'s semantic category and the shape of the stative verb it forms: a bare root inflected like any intransitive, a root that needs the attributive-agentive suffix -iʔ ([Jac64]), or a reduplicated root flanked by the attributive prefix ʔil- and -iʔ ([Jac80]). The paper takes most stems from the Washo Archive, a few from [Boc13], [BR13], [Jac80], and a tribal dictionary; the reduplicated stems are cited in their reduplicated form. Orthography follows [Jac64]: : marks length, ʔ the glottal stop, ɨ the high central vowel, ’ glottalization, and capital L and M voiceless sonorants.

References

• [HKG25]
• [Dix82]
• [Jac64]
• [Jac80]
• [Boc13]
• [BR13]

inductive Washo.Shape : Type

The shape of the stative verb a property-concept stem forms.

• bare : Shape

  The bare root, with subject agreement and mood only: ʔíhuk’i 'it is dry'.

• suffixed : Shape

  The root with the suffix -iʔ: ʔí:yeliʔi 'it is big'.

• prefixed : Shape

  The reduplicated root with the prefix ʔil- and the suffix -iʔ: ʔilkáykayiʔi 'he is tall'.

@[instance_reducible]

instance Washo.instDecidableEqShape : DecidableEq Shape

Equations

• Washo.instDecidableEqShape x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Washo.instReprShape : Repr Shape

Equations

• Washo.instReprShape = { reprPrec := Washo.instReprShape.repr }

def Washo.instReprShape.repr : Shape → ℕ → Std.Format

Equations

• Washo.instReprShape.repr Washo.Shape.bare prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Washo.Shape.bare")).group prec✝
• Washo.instReprShape.repr Washo.Shape.suffixed prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Washo.Shape.suffixed")).group prec✝
• Washo.instReprShape.repr Washo.Shape.prefixed prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Washo.Shape.prefixed")).group prec✝

@[instance_reducible]

instance Washo.instFintypeShape : Fintype Shape

Equations

• Washo.instFintypeShape = { elems := { val := ↑Washo.Shape.enumList, nodup := Washo.Shape.enumList_nodup }, complete := Washo.instFintypeShape._proof_1 }

structure Washo.PropertyConcept : Type

A property-concept stem.

• stem : String
• gloss : String
• category : Semantics.PropertyConcept.Class
• shape : Shape

@[instance_reducible]

instance Washo.instDecidableEqPropertyConcept : DecidableEq PropertyConcept

Equations

• Washo.instDecidableEqPropertyConcept = Washo.instDecidableEqPropertyConcept.decEq

def Washo.instDecidableEqPropertyConcept.decEq (x✝ x✝¹ : PropertyConcept) : Decidable (x✝ = x✝¹)

Equations

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

def Washo.instReprPropertyConcept.repr : PropertyConcept → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Washo.instReprPropertyConcept : Repr PropertyConcept

Equations

• Washo.instReprPropertyConcept = { reprPrec := Washo.instReprPropertyConcept.repr }

Age

def Washo.MiLe : PropertyConcept

Equations

• Washo.MiLe = { stem := "MiLe", gloss := "old", category := Semantics.PropertyConcept.Class.age, shape := Washo.Shape.bare }

def Washo.ešlut : PropertyConcept

Equations

• Washo.ešlut = { stem := "ešlut’", gloss := "young", category := Semantics.PropertyConcept.Class.age, shape := Washo.Shape.suffixed }

Color

def Washo.leleg : PropertyConcept

Equations

• Washo.leleg = { stem := "leleg", gloss := "red", category := Semantics.PropertyConcept.Class.color, shape := Washo.Shape.prefixed }

def Washo.pilpil : PropertyConcept

Equations

• Washo.pilpil = { stem := "p’ilp’il", gloss := "blue", category := Semantics.PropertyConcept.Class.color, shape := Washo.Shape.prefixed }

def Washo.popo : PropertyConcept

Equations

• Washo.popo = { stem := "popo", gloss := "white", category := Semantics.PropertyConcept.Class.color, shape := Washo.Shape.prefixed }

def Washo.šošoŋ : PropertyConcept

Equations

• Washo.šošoŋ = { stem := "šošoŋ", gloss := "brown", category := Semantics.PropertyConcept.Class.color, shape := Washo.Shape.prefixed }

def Washo.yiŋyiŋ : PropertyConcept

Equations

• Washo.yiŋyiŋ = { stem := "ʔyɨŋʔyɨŋ", gloss := "varicolored", category := Semantics.PropertyConcept.Class.color, shape := Washo.Shape.prefixed }

Dimension

def Washo.beheziŋ : PropertyConcept

Equations

• Washo.beheziŋ = { stem := "beheziŋ", gloss := "small", category := Semantics.PropertyConcept.Class.dimension, shape := Washo.Shape.bare }

def Washo.wgohat : PropertyConcept

Equations

• Washo.wgohat = { stem := "wgohat", gloss := "wide", category := Semantics.PropertyConcept.Class.dimension, shape := Washo.Shape.bare }

def Washo.lupdep : PropertyConcept

Equations

• Washo.lupdep = { stem := "ʔlupdep", gloss := "thin (of object)", category := Semantics.PropertyConcept.Class.dimension, shape := Washo.Shape.bare }

def Washo.udaw : PropertyConcept

Equations

• Washo.udaw = { stem := "ʔudaw", gloss := "tall (of object)", category := Semantics.PropertyConcept.Class.dimension, shape := Washo.Shape.bare }

def Washo.iyel : PropertyConcept

Equations

• Washo.iyel = { stem := "i:yel", gloss := "big", category := Semantics.PropertyConcept.Class.dimension, shape := Washo.Shape.suffixed }

def Washo.hamham : PropertyConcept

Equations

• Washo.hamham = { stem := "hamham", gloss := "light (in weight)", category := Semantics.PropertyConcept.Class.dimension, shape := Washo.Shape.prefixed }

def Washo.šišiš : PropertyConcept

Equations

• Washo.šišiš = { stem := "šɨšɨš", gloss := "heavy", category := Semantics.PropertyConcept.Class.dimension, shape := Washo.Shape.prefixed }

Human propensity

def Washo.bišapu : PropertyConcept

Equations

• Washo.bišapu = { stem := "bišapuʔ", gloss := "hungry", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.gumbiis : PropertyConcept

Equations

• Washo.gumbiis = { stem := "gumbiʔis", gloss := "proud", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.gumyol : PropertyConcept

Equations

• Washo.gumyol = { stem := "gumyoʔl", gloss := "tired", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.kiwil : PropertyConcept

Equations

• Washo.kiwil = { stem := "k’iwɨl", gloss := "sharp-thinking", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.Lokaš : PropertyConcept

Equations

• Washo.Lokaš = { stem := "Lokaš", gloss := "afraid", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.meleyik : PropertyConcept

Equations

• Washo.meleyik = { stem := "meleyɨk", gloss := "inebriated", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.melotik : PropertyConcept

Equations

• Washo.melotik = { stem := "melot’ik", gloss := "thirsty", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.šašiw : PropertyConcept

Equations

• Washo.šašiw = { stem := "šašɨw", gloss := "afraid", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.tesu : PropertyConcept

Equations

• Washo.tesu = { stem := "t’e:su", gloss := "jealous", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.yaha : PropertyConcept

Equations

• Washo.yaha = { stem := "yaha", gloss := "sick/hurt", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.yomuŋ : PropertyConcept

Equations

• Washo.yomuŋ = { stem := "yomuŋ", gloss := "full (from eating)", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.yumil : PropertyConcept

Equations

• Washo.yumil = { stem := "yumɨl", gloss := "full (from eating)", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.bare }

def Washo.gumsutim : PropertyConcept

Equations

• Washo.gumsutim = { stem := "gumsut’ɨm", gloss := "brave", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.suffixed }

def Washo.musiw : PropertyConcept

Equations

• Washo.musiw = { stem := "musiw", gloss := "generous", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.suffixed }

def Washo.tamugayl : PropertyConcept

Equations

• Washo.tamugayl = { stem := "tamugayʔl", gloss := "bored", category := Semantics.PropertyConcept.Class.humanPropensity, shape := Washo.Shape.suffixed }

Value

def Washo.aŋaw : PropertyConcept

Equations

• Washo.aŋaw = { stem := "ʔaŋaw", gloss := "good", category := Semantics.PropertyConcept.Class.value, shape := Washo.Shape.bare }

def Washo.muaŋ : PropertyConcept

Equations

• Washo.muaŋ = { stem := "mu:ʔaŋ", gloss := "tasty", category := Semantics.PropertyConcept.Class.value, shape := Washo.Shape.suffixed }

def Washo.nuš : PropertyConcept

Equations

• Washo.nuš = { stem := "ʔnu:š", gloss := "poor condition", category := Semantics.PropertyConcept.Class.value, shape := Washo.Shape.suffixed }

def Washo.umbiic : PropertyConcept

Equations

• Washo.umbiic = { stem := "ʔumbiʔic’", gloss := "expensive", category := Semantics.PropertyConcept.Class.value, shape := Washo.Shape.suffixed }

Physical property

def Washo.golgoš : PropertyConcept

Equations

• Washo.golgoš = { stem := "golgoš", gloss := "short and fat", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.ibik : PropertyConcept

Equations

• Washo.ibik = { stem := "ibik’", gloss := "ripe", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.ihuk : PropertyConcept

Equations

• Washo.ihuk = { stem := "ihuk’", gloss := "dry", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.keše : PropertyConcept

Equations

• Washo.keše = { stem := "k’eše", gloss := "alive", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.metu : PropertyConcept

Equations

• Washo.metu = { stem := "metuʔ", gloss := "cold", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.mipil : PropertyConcept

Equations

• Washo.mipil = { stem := "mi:p’ɨl", gloss := "full", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.mosot : PropertyConcept

Equations

• Washo.mosot = { stem := "mosot", gloss := "wet", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.mucucu : PropertyConcept

Equations

• Washo.mucucu = { stem := "muc’uc’u", gloss := "sweet", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.wihl : PropertyConcept

Equations

• Washo.wihl = { stem := "wɨhl", gloss := "cold", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.yakaš : PropertyConcept

Equations

• Washo.yakaš = { stem := "yak’aš", gloss := "warm", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.yasaŋ : PropertyConcept

Equations

• Washo.yasaŋ = { stem := "yasaŋ", gloss := "hot", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.yayaŋ : PropertyConcept

Equations

• Washo.yayaŋ = { stem := "ʔyaʔyaŋ", gloss := "naked", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.bare }

def Washo.gucu : PropertyConcept

Equations

• Washo.gucu = { stem := "guc’u", gloss := "torn", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.suffixed }

def Washo.gumbeyécik : PropertyConcept

Equations

• Washo.gumbeyécik = { stem := "gumbeyéc’ɨk", gloss := "closed", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.suffixed }

def Washo.kakt : PropertyConcept

Equations

• Washo.kakt = { stem := "kakt", gloss := "quiet", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.suffixed }

def Washo.Loyaw : PropertyConcept

Equations

• Washo.Loyaw = { stem := "Loyaw", gloss := "dark", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.suffixed }

def Washo.nuuš : PropertyConcept

Equations

• Washo.nuuš = { stem := "nuʔuš", gloss := "stinky", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.suffixed }

def Washo.wkuli : PropertyConcept

Equations

• Washo.wkuli = { stem := "wkuliʔ", gloss := "solid", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.suffixed }

def Washo.yacim : PropertyConcept

Equations

• Washo.yacim = { stem := "yac’im", gloss := "smoky", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.suffixed }

def Washo.babab : PropertyConcept

Equations

• Washo.babab = { stem := "ba:bab", gloss := "spotted", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.huhu : PropertyConcept

Equations

• Washo.huhu = { stem := "hu:hu", gloss := "striped", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.kawkaw : PropertyConcept

Equations

• Washo.kawkaw = { stem := "k’awk’aw", gloss := "closed", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.kunkun : PropertyConcept

Equations

• Washo.kunkun = { stem := "k’unk’un", gloss := "bent", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.kaykay : PropertyConcept

Equations

• Washo.kaykay = { stem := "kaykay", gloss := "tall", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.kuškuš : PropertyConcept

Equations

• Washo.kuškuš = { stem := "kuškuš", gloss := "short and fat", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.lotlot : PropertyConcept

Equations

• Washo.lotlot = { stem := "lotlot", gloss := "soft", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.mukmuk : PropertyConcept

Equations

• Washo.mukmuk = { stem := "mukmuk", gloss := "chubby", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.naynay : PropertyConcept

Equations

• Washo.naynay = { stem := "naynay", gloss := "muddy", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.pepel : PropertyConcept

Equations

• Washo.pepel = { stem := "p’ep’el", gloss := "bitter", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.pipi : PropertyConcept

Equations

• Washo.pipi = { stem := "p’ɨp’ɨ", gloss := "thin", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.šapšap : PropertyConcept

Equations

• Washo.šapšap = { stem := "šapšap", gloss := "fuzzy", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.šišip : PropertyConcept

Equations

• Washo.šišip = { stem := "ši:šip", gloss := "straight", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.sinsin : PropertyConcept

Equations

• Washo.sinsin = { stem := "sɨnsɨn", gloss := "thin", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.siwsiw : PropertyConcept

Equations

• Washo.siwsiw = { stem := "siwsiw", gloss := "smooth", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.tetep : PropertyConcept

Equations

• Washo.tetep = { stem := "t’et’ep", gloss := "fat", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.tintin : PropertyConcept

Equations

• Washo.tintin = { stem := "t’ɨnt’ɨn", gloss := "rough", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.witwit : PropertyConcept

Equations

• Washo.witwit = { stem := "witwit", gloss := "stiff", category := Semantics.PropertyConcept.Class.physicalProperty, shape := Washo.Shape.prefixed }

def Washo.propertyConcepts : List PropertyConcept

The seventy stems of the appendix.

Equations

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