triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property', 
       'http://www.w3.org/2000/01/rdf-schema#Resource').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#Resource').
    
triple('http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#Class').

triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#seeAlso', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#Class', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/2000/01/rdf-schema#Class', 
       'http://www.w3.org/2000/01/rdf-schema#Resource').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#isDefinedBy', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/2000/01/rdf-schema#ConstraintProperty', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/2000/01/rdf-schema#ConstraintProperty', 
       'http://www.w3.org/2000/01/rdf-schema#ConstraintResource').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#ConstraintProperty', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#ConstraintResource', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#ConstraintProperty').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#ConstraintProperty').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#label', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#label', 
       'http://www.w3.org/2000/01/rdf-schema#Resource').
    
triple('http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#label', 
       'http://www.w3.org/2000/01/rdf-schema#Literal').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#Resource', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#subPropertyOf', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#subPropertyOf', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#subPropertyOf', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#Literal', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/2000/01/rdf-schema#subClassOf', 
       'http://www.w3.org/2000/01/rdf-schema#containerMembershipProperty', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#containerMembershipProperty', 
       'http://www.w3.org/2000/01/rdf-schema#Class').
    
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
       'http://www.w3.org/2000/01/rdf-schema#comment', 
       'http://www.w3.org/1999/02/22-rdf-syntax-ns#Property').
    
triple('http://www.w3.org/2000/01/rdf-schema#domain', 
       'http://www.w3.org/2000/01/rdf-schema#comment', 
       'http://www.w3.org/2000/01/rdf-schema#Resource').
    
triple('http://www.w3.org/2000/01/rdf-schema#range', 
       'http://www.w3.org/2000/01/rdf-schema#comment', 
       'http://www.w3.org/2000/01/rdf-schema#Literal').

% { { :x :y :z . :y rdfs:range :p }
%   log:implies
%   { :z a :p }
% } a log:Truth; log:forAll :x , :y , :z , :p .
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', Z, P) :- 
   triple('http://www.w3.org/2000/01/rdf-schema#range', Y, P), 
   triple(Y, X, Z).

% { { :x :y :z . :y rdfs:domain :p }
%   log:implies
%   { :x a :p } .
% } a log:Truth; log:forAll :x , :y , :z , :p .
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', X, P) :- 
   triple('http://www.w3.org/2000/01/rdf-schema#domain', Y, P), 
   triple(Y, X, Z).

% { { :x rdfs:subClassOf :y . :z a :x }
%   log:implies
%   { :z a :y }
% } a log:Truth; log:forAll :x , :y , :z .
triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', Z, Y) :- 
   triple('http://www.w3.org/2000/01/rdf-schema#subClassOf', X, Y), 
   triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', Z, X).

% triple('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 
%        X, 
%        'http://www.w3.org/2000/01/rdf-schema#Class').