Class: Universal_Quantifier

http://cui.unige.ch/isi/onto/tok/TOK.owl#Universal_Quantifier

Superclasses (1)

Usage (1)