(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (located ?PROC ?OBJ))))
Kinds of PhysiologicProcess :
Next BiologicalProcess: PathologicProcess Up: BiologicalProcess