food (Food)

Any SelfConnectedObject containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a living Animal and metabolized into energy and body tissue.

Ontology

SUMO / OBJECTS

Superclass(es)

entity

physical

object

self connected object

food

Subclass(es)

meat fruit or vegetable beverage

Coordinate term(s)

content bearing object corpuscular object substance

Related WordNet synsets

food, nutrient: any substance that can be metabolized by an organism to give energy and build tissue
edibility, edibleness: the property of being fit to eat
comestible, edible, eatable, pabulum, victual, victuals: any substance that can be used as food
edible, comestible, eatable: suitable for use as food

See more related synsets on a separate page.

Axioms (6)

If act is an instance of ingesting and food is a patient of act, then food is an instance of food.

(=>
      (and
            (instance ?ACT Ingesting)
            (patient ?ACT ?FOOD))
      (instance ?FOOD Food))

If cook is an instance of cooking, then there exists food food so that food is a result of cook.

(=>
      (instance ?COOK Cooking)
      (exists
            (?FOOD)
            (and
                  (instance ?FOOD Food)
                  (result ?COOK ?FOOD))))

food is disjointly decomposed into meat,fruit or vegetable,beverage.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

If food is an instance of food, then there exists nutrient nutrient so that nutrient is a part of food.

(=>
      (instance ?FOOD Food)
      (exists
            (?NUTRIENT)
            (and
                  (instance ?NUTRIENT Nutrient)
                  (part ?NUTRIENT ?FOOD))))

if food is an instance of food,
then for all part1 holds: if part1 is a part of food, then there exist part2,animal animal so that part1 is a part of part2 and part2 is a part of animal

(=>
      (instance ?FOOD Food)
      (forall
            (?PART1)
            (=>
                  (part ?PART1 ?FOOD)
                  (exists
                        (?PART2 ?ANIMAL)
                        (and
                              (part ?PART1 ?PART2)
                              (part ?PART2 ?ANIMAL)
                              (instance ?ANIMAL Animal))))))

If obj is an instance of food, then there exists taste attribute attr so that attr is an attribute of obj.

(=>
      (instance ?OBJ Food)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR TasteAttribute)
                  (attribute ?OBJ ?ATTR))))