axiom db:
:c1
rdfs:subClassOf http://test#subClassOf
:c2
rdfs:subClassOf http://test#subClassOf
log:implies http://www.w3.org/2000/10/swap/log#implies
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