(=> (instance ?FOOD Food) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD))))
(=> (and (instance ?ACT Ingesting) (patient ?ACT ?FOOD)) (instance ?FOOD Food))
(=> (instance ?FOOD Food) (forall (?PART1) (=> (part ?PART1 ?FOOD) (exists (?PART2 ?ORGANISM) (and (part ?PART1 ?PART2) (part ?PART2 ?ORGANISM) (instance ?ORGANISM Organism))))))
(=> (instance ?OBJ Food) (exists (?ATTR) (and (instance ?ATTR TasteProperty) (attribute ?OBJ ?ATTR))))
Next Object: SelfConnectedObject Up: Object Previous Object: ContentBearingObject