Relation HAS-PARASITE

Arity: 2
Domain: Entity
Range: Entity
Axioms:
(= (Inverse Parasitic) Has-Parasite)

(<=> (Has-Parasite ?A ?B) (And (Entity ?A) (Entity ?B)))