(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (located ?PROC ?OBJ))))
Next PhysiologicProcess: OrganismProcess Up: PhysiologicProcess Previous PhysiologicProcess: Replication