Property:Subsumes
From semanticweb.org
According to OntoClean:
A property p subsumes q if and only if, for every possible state of affairs, all instances of q are also instances of p.
Thus p is a superclass of q: animal subsumes bird.
Beware not to confuse subsumes with property:is a.
