Class
GILLS
Subclass-Of
:
Non-human-anatomical-structure
Axioms:
(=> (
Gills
?Self) (Exists (?A) (And (
Embodies
?Self ?A) (Breathing ?A))))
Defined in theory:
Anatomy
Source code:
Anatomy.lisp