Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
rules for mereological sums for eye adnexa, see #1189
  • Loading branch information
cmungall committed Dec 22, 2015
1 parent 954ff2c commit d5dcc58
Showing 1 changed file with 42 additions and 0 deletions.
42 changes: 42 additions & 0 deletions util/adnexa.pro
@@ -0,0 +1,42 @@
in_orbit(X) :-
class(R,'orbital region'),
parentT(X,part_of,R).
in_eyeball(X) :-
class(R,'eyeball of camera-type eye'),
parentT(X,part_of,R).

in_adnexa(X) :-
class(R,'ocular adnexa'),
parentT(X,part_of,R).

missing(X) :-
in_orbit(X),
\+ in_eyeball(X),
\+ in_adnexa(X).

missing_nr(X) :-
missing(X),
\+ ((parentT(X,part_of,Z),
missing(Z))).


unsat(X) :-
in_eyeball(X),
in_adnexa(X).

:- use_module(bio(index_util)).

ix :-
materialize_index(in_orbit(+)),
materialize_index(in_eyeball(+)),
materialize_index(in_adnexa(+)),
materialize_index(missing(+)).

/*
To missing non-redundant missing:
blip-findall -debug index -goal ix -r uberons -consult util/adnexa.pro missing_nr/1 -label -no_pred
*/

0 comments on commit d5dcc58

Please sign in to comment.