axiom db: :c1 rdfs:subClassOf http://test#subClassOf :c2 :c2 rdfs:subClassOf http://test#subClassOf :c3 log:implies http://www.w3.org/2000/10/swap/log#implies :c1 rdfs:subClassOf http://test#subClassOf :c3 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type log:Truth http://www.w3.org/2000/10/swap/log#Truth log:forAll http://www.w3.org/2000/10/swap/log#forAll :c1 :c2 :c3 1 :insectivora rdfs:subClassOf http://test#subClassOf :mammalia 2 2 :mammalia rdfs:subClassOf http://test#subClassOf :vertebrae 3 3 :spitsmuis rdfs:subClassOf http://test#subClassOf :insectivora 4 4 axiom variables: :c1 :c2 :c3 lemma db: ?1?:who ?:who rdfs:subClassOf http://test#subClassOf :vertebrae 1 1 lemma variables: ?1?:who ?:who