General concept inclusion
= General concept inclusion
{title2=$C\sqsubseteq D$}
An axiom requiring every instance of the <description logic concept> $C$ to be an instance of $D$. It holds throughout the domain, not just at named individuals.
= General concept inclusion
{title2=$C\sqsubseteq D$}
An axiom requiring every instance of the <description logic concept> $C$ to be an instance of $D$. It holds throughout the domain, not just at named individuals.