]> (assert (triple (predicate "&rdf;#type") (_subject "") (object "&owl;#Class") ) ) (assert (triple (predicate "&rdf;#type") (_subject "") (object "") ) ) (assert (triple (predicate "&rdfs;#subClassOf") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#complementOf") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#sameAs") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#sameIndividualAs") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#differentFrom") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#disjointWith") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#equivalentClass") (_subject "") (object "") ) ) (assert (triple (predicate "&rdf;#type") (_subject "") (object "&rdf;#Property") ) ) (assert (triple (predicate "&rdf;#type") (_subject "") (object "&owl;#objectProperty") ) ) (assert (triple (predicate "&rdf;#type") (_subject "") (object "&owl;#FunctionalProperty") ) ) (assert (triple (predicate "&rdf;#type") (_subject "") (object "&owl;#InverseFunctionalProperty") ) ) (assert (triple (predicate "&rdf;#type") (_subject "") (object "&owl;#SymmetricProperty") ) ) (assert (triple (predicate "&rdf;#type") (_subject "") (object "&owl;#DatatypeProperty") ) ) (assert (triple (predicate "&rdfs;#subPropertyOf") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#inverseOf") (_subject "") (object "") ) ) (assert (triple (predicate "&owl;#equivalentProperty") (_subject "") (object "") ) ) (assert (triple (predicate "&rdfs;#domain") (_subject "") (object "") ) ) (assert (triple (predicate "&rdfs;#range") (_subject "") (object "") ) )