Existential quantification

Home / Glossary / Existential quantification

Existential quantification is quantification with the #$thereExists quantifier. For example, the following existentially quantified CycL sentence states that there is some unmarried human adult:

(thereExists ?SINGLE
  (and
    (isa ?SINGLE HumanAdult) 
    (maritalStatus ?SINGLE Single)))

Also see universal quantification.

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA