axiom db: :p a http://www.w3.org/1999/02/22-rdf-syntax-ns#type owl:TransitiveProperty http://www.w3.org/2002/07/owl#TransitiveProperty :c1 :p :c2 :c2 :p :c3 log:implies http://www.w3.org/2000/10/swap/log#implies :c1 :p :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 :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