1:- module(gaz, 2 [ 3 geolocated_in/2, 4 shared_location/3, 5 nge/1 6 ]). 7 8 9%geolocated_in(X,Y) :- subclass_of_some(X,'http://purl.obolibrary.org/obo/gaz#located_in',Y). 10geolocated_in(X,Y) :- rdf(X,'http://purl.obolibrary.org/obo/RO_0001025',Y). X,Y,Z) (:- geolocated_in(X,Y),geolocated_in(X,Z),Y\=Z. 12 13nge(X) :- rdf(X,rdf:type,'http://purl.obolibrary.org/obo/ENVO_00000009')