jídlo (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.

Ontologie

SUMO / OBJECTS

Nadtřída(y)

entita

fyzický objekt

objekt

spojitý objekt

jídlo

Podtřída(y)

maso ovoce a zelenina nápoj

Související termín(y)

objekt nesoucí informaci složený objekt látka

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.

Axiomy (6)

Jestliže act je instancí třídy zažívání a food je účastníkem act, potom food je instancí třídy jídlo.

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

Jestliže cook je instancí třídy vaření, potom existuje jídlo food tak, že food je výsledkem cook.

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

jídlo je disjointly decomposed into maso,ovoce a zelenina,nápoj.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

Jestliže food je instancí třídy jídlo, potom existuje živina nutrient tak, že nutrient je částí food.

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

jestliže food je instancí třídy jídlo,
potom pro všechny part1 platí: jestliže part1 je částí food, potom existují part2,zvíře animal tak, že part1 je částí part2 a part2 je částí animal

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

Jestliže obj je instancí třídy jídlo, potom existuje chuť attr tak, že attr je atributem obj.

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