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).
   11shared_location(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')