Organism |
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM)))) |
Merge.kif 14383-14388 | |
(=> (instance ?ORGANISM Organism) (exists (?PARENT) (parent ?ORGANISM ?PARENT))) |
Merge.kif 16418-16421 |