]> This file describe a general ontology for modal logic. It is created by Li Ding -- http://www.csee.umbc.edu/~dingli1/, $Revision: 0.6 $