Class: First_Order_Logic

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

Superclasses (1)

Usage (1)