Class: drs:Formula
http://cs-www.cs.yale.edu/homes/dvm/daml/drsonto040520.owl#Formula
Usage (2)
Class
:
drs:Formula
expr:DRS-Expression
⊆
expr:expressionObject
only
drs:Formula