Cibo (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)

Entitá

EntitáConcreta

Oggetto

OggettoIntegro

Cibo

Subclass(es)

Carne FruttaOVerdura Bevanda

Coordinate term(s)

OggettoSemiotico OggettoCorpuscolare Sostanza

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)

Se act é un' istanza di Ingestione e food é un paziente di act, allora food é un' istanza di Cibo.

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

Se cook é un' istanza di Cucinare, allora esiste Cibo food tale che food é un risultato di cook.

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

Cibo é scomposto disgiuntivamente in Carne,FruttaOVerdura,Bevanda.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

Se food é un' istanza di Cibo, allora esiste Nutriente nutrient tale che nutrient é una parte di food.

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

se food é un' istanza di Cibo,
allora per ogni part1 vale: se part1 é una parte di food, allora esiste part2,Animale animal tale che part1 é una parte di part2 e part2 é una parte di animal

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

Se obj é un' istanza di Cibo, allora esiste AttributoDiGusto attr tale che attr is an attribute of obj.

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