SubClassOf(owl:Thing <http://www.semanticweb.org/owlapi/test#C>)
SubClassOf(owl:Thing <http://www.semanticweb.org/owlapi/test#iri>)