Indicates that a class expression in an axiom is not in the profile
@author Matthew Horridge, The University of Manchester, InformationManagement Group
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.