axiom db:
:p
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
:c1
:p
:c2
:p
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
:p
1
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty
2
2
:mammalia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
3
3
:rodentia
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:mammalia
4
4
:muis
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:rodentia
5
5
axiom variables:
:c1
:c2
:c3
:p
lemma db:
?1?:who ?:who
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#subClassOf
:vertebrae
1
1
lemma variables:
?1?:who ?:who