Home / Glossary / Lexical assertion

Lexical assertions are those assertions that relate a Cyc term to words and phrases in some language that can be used to refer to the concept denoted by the Cyc term. For example, the assertion corresponding to this CycL sentence states that the thing denoted by #$Guitar-Electric can be referred to in English by the phrase “electric guitar”:

(ist EnglishMt
    (TheList "electric") Guitar-TheWord CountNoun Guitar-Electric))

Other predicates used to encode lexical information include, but are not limited to, #$denotation, #$compoundString, and #$genTemplate.